Addytywny

Addytywny is the Polish adjective meaning additive, used in mathematics to describe properties that relate to addition. The term appears in several areas, including functional equations, linearity considerations, and measure theory, where the core idea is that a operation or function respects the sum of inputs.

In the context of functions, an additive function f satisfies f(x+y) = f(x) + f(y) for all x and y in its domain, typically from a group to another group (often from the real numbers to the real numbers). The classic Cauchy functional equation raises questions about when such a function must be linear. If an additive function is continuous at a point, bounded on some interval, measurable, or monotone on an interval, then it must be of the form f(x) = c x for some constant c. Without these regularity conditions, there exist nonlinear additive functions constructed using a Hamel basis, which show that additivity alone does not guarantee linearity.

In measure theory and related areas, additivity describes how a set function behaves on disjoint sets. A function μ is additive if μ(A ∪ B) = μ(A) + μ(B) for disjoint sets A and B. A stronger property is countable additivity (σ-additivity): μ(∪i A_i) = ∑i μ(A_i) for any countable collection of disjoint sets. Lebesgue measure is a standard example of a countably additive measure; finite additivity (without the countable requirement) is a weaker notion that can occur in certain algebraic contexts.

Etymologically, addytywny reflects the general mathematical emphasis on structures that preserve addition and the derived consequences in analysis, algebra, and probability.