📚 Definition and Properties of Functions | 函数的定义与性质
In mathematics, a function is a special relationship between two sets that associates each element of the first set with exactly one element of the second set. This concept is foundational across all areas of mathematics, from algebra to calculus, and understanding its definition and properties is essential for solving real-world problems and for further study in IB Mathematics. A function can be thought of as a machine that takes an input, processes it according to a specific rule, and produces a unique output. The formal definition, along with key properties such as domain, range, injectivity, surjectivity, and composition, provides a powerful framework for analysing mathematical relationships.
在数学中，函数是两个集合之间的一种特殊关系，它将第一个集合中的每个元素恰好与第二个集合中的一个元素关联起来。这一概念是数学从代数到微积分所有领域的基础，理解其定义和性质对于解决实际问题和IB数学的进一步学习至关重要。函数可以看作是一台机器，它接收输入，根据特定规则进行处理，并产生唯一的输出。正式的定义，连同定义域、值域、单射性、满射性和复合等关键性质，为分析数学关系提供了一个强大的框架。
1. Formal Definition of a Function | 函数的正式定义
. The set X is called the domain, and the set Y is called the codomain. It is crucial that every element of the domain has exactly one image in the codomain; however, an element of the codomain may be the image of more than one element of the domain, or of none at all.
从集合X到集合Y的函数f是一条规则，它将X中的每个元素x恰好分配给Y中的一个元素y。我们写作f: X → Y，y = f(x)是x在f下的像。集合X称为定义域，集合Y称为陪域。至关重要的是，定义域中的每个元素在陪域中恰好有一个像；然而，陪域中的元素可能是定义域中多个元素的像，也可能没有原像。
as a function of x because for a positive x, there are two possible y-values. The vertical line test is a graphical way to determine whether a relation is a function: if any vertical line intersects the graph more than once, the relation is not a function.
函数通常由方程定义，例如f(x) = x²，但并非所有方程都定义函数。例如，方程x = y²并未将y定义为x的函数，因为对于一个正的x，有两个可能的y值。垂直线检验是判断一个关系是否为函数的图形方法：如果任何一条垂直线与图形相交多于一次，则该关系不是函数。
2. Domain and Range | 定义域与值域
n produces from the domain. The range is a subset of the codomain. For example, for f(x) = √x, the domain is x ≥ 0 (over the real numbers), and the range is also y ≥ 0.
函数的定义域是使函数有定义的所有可能输入值（x值）的集合。值域（或像集）是函数从定义域产生的所有实际输出值（y值）的集合。值域是陪域的子集。例如，对于f(x) = √x，定义域为x ≥ 0（在实数范围内），值域也是y ≥ 0。
When finding the domain of a function, we consider restrictions such as division by zero and even roots of negative numbers. For rational functions, we exclude values that make the denominator zero. For functions involving square roots, we require the expression inside the root to be non-negative. The range can be determined by analysing the function’s behaviour, often using graphs or completing the square for quadratic functions.
当求函数的定义域时，我们考虑诸如除以零和负数的偶次方根等限制。对于有理函数，我们排除使分母为零的值。对于包含平方根的函数，我们要求根号内的表达式非负。值域可以通过分析函数的行为来确定，通常利用图形，或者对于二次函数使用配方法。
3. Function Notation and Evaluation | 函数符号与求值
aluate functions at expressions, such as f(a+h), which is useful in the study of limits and derivatives.
函数符号使用符号f(x)表示函数f对于输入x的输出。要计算函数在某个特定值处的值，我们将该值代入函数表达式中的变量。例如，如果f(x) = 2x + 3，那么f(4) = 2(4) + 3 = 11。我们也可以计算函数在表达式处的值，例如f(a+h)，这在极限和导数的学习中非常有用。
Understanding notation is key to communicating mathematical ideas clearly and effectively.
区分函数f（规则本身）与函数值f(x)（输出）是很重要的。函数符号使我们能够灵活地处理变换和复合。例如，如果g(x) = x² − 1，那么g(x+1) = (x+1)² − 1 = x² + 2x。理解符号是清晰有效地传达数学思想的关键。
4. One-to-One (Injective) Functions | 单射函数
once. For example, f(x) = 2x + 1 is injective, while f(x) = x² is not injective over the real numbers because f(−2) = f(2) = 4.
如果定义域中的不同元素映射到陪域中的不同元素，则函数f: X → Y称为单射，或一对一。等价地，如果f(x₁) = f(x₂)则x₁ = x₂。从图形上看，单射函数通过水平线检验：任何水平线与图形相交至多一次。例如，f(x) = 2x + 1是单射的，而f(x) = x²在实数范围内不是单射的，因为f(−2) = f(2) = 4。
estrict its domain, for instance, to x ≥ 0, making it injective on that restricted domain.
单射性在讨论反函数时至关重要。一个函数有反函数，当且仅当它是双射（既是单射又是满射）。要使像f(x) = x²这样的函数可逆，我们通常限制其定义域，例如限制为x ≥ 0，从而使其在该限制定义域上成为单射。
5. Onto (Surjective) Functions | 满射函数
ne element of the domain X. In other words, the range equals the codomain. For example, f: ℝ → ℝ defined by f(x) = x³ is surjective, as every real number has a real cube root. However, f: ℝ → ℝ defined by f(x) = eˣ urjective because the output is always positive, so it does not map onto negative numbers.
如果陪域Y中的每个元素都是定义域X中至少一个元素的像，则函数f: X → Y是满射，或映上的。换句话说，值域等于陪域。例如，由f(x) = x³定义的f: ℝ → ℝ是满射的，因为每个实数都有一个实立方根。然而，由f(x) = eˣ定义的f: ℝ → ℝ不是满射的，因为输出总是正的，所以它没有映上负数。
Surjectivity depends on the stated codomain. The same function rule may be surjective or not depending on how the codomain is defined. Changing the codomain to fit the range can make a function artificially surjective. Thus, when analysing surjectivity, it is essential to carefully specify the codomain.
满射性取决于声明的陪域。相同的函数规则可能因为陪域的定义不同而成为满射或不是满射。改变陪域以匹配值域可以人为地使函数成为满射。因此，在分析满射性时，仔细指定陪域是至关重要的。
6. Bijective Functions | 双射函数
ion is bijective if it is both injective and surjective. A bijection establishes a perfect “one-to-one correspondence” property guarantees the existence of an inverse function. For example, f(x) = 2x + 3 from ℝ to ℝ is bijective: it has an inverse f⁻¹(x) = (x − 3)/2.
如果一个函数既是单射又是满射，则它是双射的。双射在定义域和陪域之间建立了一种完美的“一一对应”。这一性质保证了反函数的存在。例如，从ℝ到ℝ的f(x) = 2x + 3是双射的：它有反函数f⁻¹(x) = (x − 3)/2。
Bijective functions play a central role in many areas of mathematics, including set theory, combinatorics, and calculus. The concept is also used to define isomorphisms in algebra and homeomorphisms in topology, where structures are preserved in a one-to-one manner.
双射函数在数学的许多领域都扮演着核心角色，包括集合论、组合学和微积分。这一概念也被用来定义代数中的同构和拓扑中的同胚，其中结构以一对一的方式保持不变。
7. Inverse Functions | 反函数
y = f(x) and solve for y. For example, the inverse of f(x) = 3x − 5 is f⁻¹(x) = (x + 5)/3.
如果一个函数f是双射的，它的反函数，记作f⁻¹，逆转该映射：f⁻¹(y) = x当且仅当f(x) = y。f⁻¹的定义域是f的值域，f⁻¹的值域是f的定义域。要找到反函数，我们通常交换方程y = f(x)中的x和y并解出y。例如，f(x) = 3x − 5的反函数是f⁻¹(x) = (x + 5)/3。
that f⁻¹(x) is not the same as 1/f(x). The notation f⁻¹ refers to the inverse function, not the reciprocal. Inverse functions allow us to “undo” operations and are fundamental in solving equations and modelling.
从图形上看，函数及其反函数关于直线y = x对称。重要的是要记住，f⁻¹(x)不同于1/f(x)。符号f⁻¹指的是反函数，而非倒数。反函数使我们能够“撤销”运算，是解方程和建模的基础。
8. Composite Functions | 复合函数
The composition of two functions f and g, denoted (f ∘ )) and g(f(x)) are usually different. For instance, if f(x) = x² and g(x) = x + 1, then (f ∘ g)(x) = (x+1)², while (g ∘ f)(x) = x² + 1.
两个函数f和g的复合，记作(f ∘ g)(x) = f(g(x))，先应用g，然后对结果应用f。复合函数的定义域包括g的定义域中所有使得g(x)在f的定义域内的x。复合一般不可交换：f(g(x))和g(f(x))通常不同。例如，如果f(x) = x²，g(x) = x + 1，那么(f ∘ g)(x) = (x+1)²，而(g ∘ f)(x) = x² + 1。
is also essential when working with inverse functions, as f(f⁻¹(x)) = x and f⁻¹(f(x)) = x.
复合函数对于描述复杂的变换和将复杂的函数分解为更简单的部分非常有用。在微积分中，链式法则依赖于函数复合的概念来对复合函数求导。在处理反函数时，理解复合也很重要，因为f(f⁻¹(x)) = x且f⁻¹(f(x)) = x。
9. Even and Odd Functions | 偶函数与奇函数
ions are symmetric about the y-axis. Examples include f(x) = x², f(x) = cos(x), and f(x) = |x| metry of 180° about the origin. Examples include f(x) = x³, f(x) = sin(x), and f(x) = 1/x.
如果对于定义域中的所有x都有f(−x) = f(x)，则函数f是偶函数。偶函数关于y轴对称。例子包括f(x) = x²、f(x) = cos(x)和f(x) = |x|。如果对于定义域中的所有x都有f(−x) = −f(x)，则函数f是奇函数。奇函数关于原点具有180°旋转对称性。例子包括f(x) = x³、f(x) = sin(x)和f(x) = 1/x。
Most functions are neither even nor odd, but any function can be expressed as the sum of an even and an odd function. This decomposition is useful in Fourier analysis and in simplifying integrals. Recognising symmetry can reduce work in graphing and in evaluating definite integrals over symmetric intervals.
大多数函数既不是偶函数也不是奇函数，但任何函数都可以表示为一个偶函数和一个奇函数之和。这种分解在傅里叶分析和简化积分中很有用。识别对称性可以减少绘制图形和计算对称区间上的定积分的工作量。
10. Periodic Functions | 周期函数
llest such T is called the period. Trigonometric functions are classical examples: sin(x) and cos(x) have period 2π, while tan(x) has period π. Periodic functions model repetitive phenomena like sound waves, tides, and seasonal patterns.
如果存在一个正数T，使得对于定义域中的所有x都有f(x + T) = f(x)，则函数f是周期函数。最小的这样的T称为周期。三角函数是经典的例子：sin(x)和cos(x)的周期为2π，而tan(x)的周期为π。周期函数模拟重复出现的现象，如声波、潮汐和季节模式。
metric function with a transformation, such as f(x) = a sin(bx + c) + d, the period is 2π/|b| ssential for sketching graphs and determining domains for inverse trigonometric functions.
周期性有助于分析信号和求解三角方程。当给定一个带有变换的三角函数，如f(x) = a sin(bx + c) + d，其周期为2π/|b|。理解基本周期对于绘制图形和确定反三角函数的定义域至关重要。
11. Monotonic Functions | 单调函数
entirely decreasing over an interval is said to be monotonic there. For example, f(x) = eˣ is strictly increasing on ℝ, while f(x) = −x³ is strictly decreasing.
如果对于区间内的任意x₁ < x₂，都有f(x₁) ≤ f(x₂)，则称函数在该区间上递增。如果f(x₁) < f(x₂)，则严格递增。类似地，如果不等式方向相反，则函数递减或严格递减。在一个区间上完全递增或完全递减的函数被称为在该区间上单调。例如，f(x) = eˣ在ℝ上严格递增，而f(x) = −x³严格递减。
Monotonicity is closely tied to derivatives in calculus: a positive derivative indicates an increasing function. Monotonic functions are injective and thus have inverses on their monotonic intervals. This property is used when restricting domains to define inverse trigonometric functions, such as restricting sine to [−π/2, π/2] to obtain arcsin.
单调性与微积分中的导数密切相关：导数为正表示函数递增。单调函数是单射的，因此在它们的单调区间上有反函数。这一性质在限制定义域以定义反三角函数时使用，例如将正弦限制在[−π/2, π/2]以获得arcsin。
12. Continuity and Limits (Introductory Property) | 连续性与极限（入门性质）
A function is continuous at a point if the limit of the function as x approaches that point equals the function’s value there. Informally, the graph can be drawn without lifting the pen. Polynomials, sine, cosine, and exponential functions are continuous everywhere on their domains. Rational functions are continuous except at points where the denominator is zero.
如果当x趋近于某点时函数的极限等于该点处的函数值，则函数在该点连续。通俗地说，图形可以在不抬笔的情况下画出。多项式、正弦、余弦和指数函数在其定义域上处处连续。有理函数在分母为零的点之外连续。
Continuity is a fundamental property in calculus, ensuring that the intermediate value theorem and extreme value theorem hold. While a full exploration belongs in calculus, even in algebra and functions, recognising continuity helps in understanding the behaviour of functions and the existence of limits. It also underpins the concept of asymptotes and removable discontinuities.
连续性是微积分中的一个基本性质，保证了介值定理和极值定理的成立。虽然完整的探讨属于微积分范畴，但即使在代数和函数中，认识连续性也有助于理解函数的行为和极限的存在性。它也是渐近线和可去间断点概念的基础。
Published by TutorHao | IB Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图