KNOWECON WIKI

ARTICLE

定义域

定义域 (Domain) 在线性代数、微积分以及其他数学分支中，一个函数的定义域（Domain）是该函数可以接受的全部"输入值"或"自变量"的集合。换句话说，对于函数 f(x) ，所有能让这个表达式产生一个明确、有意义的输出值的 x 的集合，就是函数的定义域。 一个函数的完整定义通常由三个部分构成：定义域（Domain）、陪域（Codomain）和函数关系（

浏览 79 更新 2025-10-26

定义域 (Domain)

在线性代数、微积分以及其他数学分支中，一个函数的定义域（Domain）是该函数可以接受的全部"输入值"或"自变量"的集合。换句话说，对于函数 f(x) f(x) ，所有能让这个表达式产生一个明确、有意义的输出值的 x x 的集合，就是函数的定义域。

一个函数的完整定义通常由三个部分构成：定义域（Domain）、陪域（Codomain）和函数关系（the rule of correspondence）。在标准函数表示法 f:X→Y f: X \to Y 中，X X 就是函数的定义域，Y Y 是函数的陪域，而 f f 描述了从 X X 中每个元素到 Y Y 中唯一对应元素的映射规则。

定义域是理解和使用函数的基础。若一个值不在函数的定义域内，我们就说这个函数在该点"无定义"（undefined）。

定义域的确定方法

在学习和应用数学时，确定函数的定义域是一个基本步骤。其确定方法主要分为两种情况：

一. 显式指定定义域 (Explicitly Stated Domain)

在某些情况下，函数的定义域会作为函数定义的一部分被明确给出。这通常是为了满足特定数学模型或问题的约束。

示例： 考虑函数 f(x)=x2 f(x) = x^2 。

  • 如果未加说明，其"自然定义域"是所有实数 R \mathbb{R} 。
  • 然而，如果函数被定义为 f(x)=x2,x∈[0,5] f(x) = x^2, \quad x \in [0, 5] ，那么它的定义域就被明确限制在闭区间 [0,5] [0, 5] 内。这意味着我们只关心 x x 在 0 0 到 5 5 之间（包括两端点）时的函数行为。
  • 如果函数被定义为 f(x)=x2,x∈N f(x) = x^2, \quad x \in \mathbb{N} ，那么它的定义域就是所有自然数。

二. 隐式或自然定义域 (Implicit or Natural Domain)

当函数的定义域没有被明确指定时，我们通常需要寻找它的自然定义域。自然定义域是指能使函数表达式有意义（即能够计算出一个实数值）的所有实数 x x 的最大集合。在初等和高等数学中，寻找自然定义域需要遵循以下基本原则：

  1. 分母不为零：对于有理函数（或任何包含分式的函数），分母的值不能等于零。
  • 示例：对于函数 g(x)=1x−2 g(x) = \frac{1}{x-2} ，为了使函数有意义，必须满足分母 x−2≠0 x-2 \neq 0 ，即 x≠2 x \neq 2 。因此，该函数的定义域是所有不等于 2 的实数，可表示为 (−∞,2)∪(2,∞) (-\infty, 2) \cup (2, \infty) 或 R∖{2} \mathbb{R} \setminus \{2\} 。
  1. 偶次根号下非负：对于偶次方根（如平方根 ⋅ \sqrt{\cdot} 、四次方根 ⋅4 \sqrt[4]{\cdot} 等）的根式函数，根号内的表达式（称为被开方数）必须大于或等于零。
  • 示例：对于函数 h(x)=x−3 h(x) = \sqrt{x-3} ，必须满足被开方数 x−3≥0 x-3 \ge 0 ，即 x≥3 x \ge 3 。因此，其定义域是 [3,∞) [3, \infty) 。
  • 注意：对于奇次方根（如立方根 ⋅3 \sqrt[3]{\cdot} ），被开方数可以是任何实数，因此其定义域通常为 R \mathbb{R} 。例如，f(x)=x3 f(x) = \sqrt[3]{x} 的定义域是 (−∞,∞) (-\infty, \infty) 。
  1. 对数的真数大于零：对于对数函数（如 log⁡a(x) \log_a(x) , ln⁡(x) \ln(x) ），其真数（括号内的表达式）必须严格大于零。
  • 示例：对于函数 k(x)=ln⁡(x+1) k(x) = \ln(x+1) ，必须满足真数 x+1>0 x+1 > 0 ，即 x>−1 x > -1 。因此，其定义域是 (−1,∞) (-1, \infty) 。
  1. 特定三角函数的限制：
  • 正切函数 tan⁡(x)=sin⁡(x)cos⁡(x) \tan(x) = \frac{\sin(x)}{\cos(x)} 的定义域要求分母 cos⁡(x)≠0 \cos(x) \neq 0 。因此，x x 不能取 π2+kπ \frac{\pi}{2} + k\pi （其中 k k 为任意整数）。
  • 余切函数 cot⁡(x)=cos⁡(x)sin⁡(x) \cot(x) = \frac{\cos(x)}{\sin(x)} 的定义域要求分母 sin⁡(x)≠0 \sin(x) \neq 0 。因此，x x 不能取 kπ k\pi （其中 k k 为任意整数）。
  • 正割函数 sec⁡(x)=1cos⁡(x) \sec(x) = \frac{1}{\cos(x)} 和余割函数 csc⁡(x)=1sin⁡(x) \csc(x) = \frac{1}{\sin(x)} 的定义域限制分别与正切和余切相同。
  1. 组合函数的定义域：如果一个函数由多个部分复合或运算而成，其定义域是所有构成部分定义域的交集。这意味着输入值 x x 必须同时满足所有限制条件。
  • 示例：求函数 f(x)=x−1x−5 f(x) = \frac{\sqrt{x-1}}{x-5} 的定义域。
  • 首先，根号要求 x−1≥0  ⟹  x≥1 x-1 \ge 0 \implies x \ge 1 。
  • 其次，分母要求 x−5≠0  ⟹  x≠5 x-5 \neq 0 \implies x \neq 5 。
  • 为了同时满足这两个条件，我们必须取两个集合的交集：[1,∞) [1, \infty) 和 R∖{5} \mathbb{R} \setminus \{5\} 。
  • 因此，最终的定义域是 [1,5)∪(5,∞) [1, 5) \cup (5, \infty) 。

定义域的重要性

定义域不仅仅是一个形式化的数学概念，它在理论和应用中都至关重要：

  • 数学严谨性：一个函数只有在其定义域内的点才有取值。在进行代数化简或微积分运算时，必须时刻注意定义域的限制，否则可能导致诸如"除以零"之类的逻辑谬误。例如，表达式 x2−1x−1 \frac{x^2-1}{x-1} 仅在 x≠1 x \neq 1 时才等价于 x+1 x+1 。
  • 函数图像的边界：函数的图像只存在于其定义域所对应的 x x 轴区间之上。定义域的端点常常是函数图像的关键点，例如垂直渐近线。
  • 物理和经济模型：在应用数学中，定义域常常反映了现实世界的约束。例如，如果一个函数 C(q) C(q) 表示生产 q q 件产品的成本，那么其定义域通常是 q≥0 q \ge 0 ，因为生产数量不能为负。同样，时间、长度、价格等变量在模型中通常被限制在非负数的定义域内。
  • 微积分的基础：在微积分中，连续性、可微性和积分等核心概念都与定义域紧密相关。一个函数只能在其定义域内的点上讨论连续或可导。定积分 ∫abf(x)dx \int_a^b f(x)dx 也要求区间 [a,b] [a, b] 包含在 f(x) f(x) 的定义域内。

综合示例

问题：求函数 f(x)=ln⁡(9−x2)+1x f(x) = \ln(9 - x^2) + \frac{1}{\sqrt{x}} 的定义域。

分析步骤：

  1. 对数部分：ln⁡(9−x2) \ln(9 - x^2) 要求真数大于零。
9−x2>0  ⟹  x2<9  ⟹  −3<x<39 - x^2 > 0 \implies x^2 < 9 \implies -3 < x < 3

这给出了开区间 (−3,3) (-3, 3) 。

  1. 分式根号部分：1x \frac{1}{\sqrt{x}} 包含两个限制。
  • 根号 x \sqrt{x} 要求 x≥0 x \ge 0 。
  • 分母 x \sqrt{x} 不能为零，所以 x≠0 x \neq 0 。
  • 结合这两个限制，我们得到 x>0 x > 0 。这给出了开区间 (0,∞) (0, \infty) 。
  1. 求交集：函数的总定义域是上述所有条件的交集。我们需要找到同时满足 −3<x<3 -3 < x < 3 和 x>0 x > 0 的 x x 的范围。
  • 在数轴上画出这两个区间，它们的重叠部分是 (0,3) (0, 3) 。

结论：函数 f(x) f(x) 的定义域是 (0,3) (0, 3) 。