定义域与值域
定义域是『允许喂进去的 x』,值域是『真的能吐出来的 y』。分母不为零、根号内非负、对数真数为正,这三条是最常见的限制。
9 分钟思维方法: 化归
把没见过的问题变形成见过的问题
这一片为什么存在
你算完一道题,答案 x=3 代回去分母是 0;或者被问「值域是多少」,你盯着图像说「看起来是全体实数」——然后被判错。这两次失分是同一个毛病:把「式子写得出来」当成了「函数在这里有定义」,把「图上看着盖住了」当成了「这个 y 真的取到了」。这一片要做的是把定义域和值域拆成两种完全不同难度的活儿,并给你一个把值域问题变成定义域问题的固定手法。
内容
想象一台自动售货机。定义域是投币口那一关:它对能接受什么有明文规矩——不收纸币、不收外币、不收弯了的硬币。值域是出货口的清单:不是货架上贴了什么,而是真的掉下来过什么。
这两件事的难度完全不对称,这是本片最想让你记住的一点。
定义域是排除法。你扫一遍式子:看到分母就写 ≠0,看到偶次根号就写 ≥0,看到 log 就写 >0,没被点名的 x 全都合法。判断某个 x 合不合法,你甚至不需要真的算出函数值——只要检查它有没有踩到禁区。
值域是存在性。要说「y=9 在值域里」,你欠一个证据:一个具体的 x,喂进去真的吐出 9。要说「y=2 不在值域里」,你欠的更多:你得证明没有任何 x 能做到。而「图看起来盖住了这一段」不构成证明——函数图像上完全可以有一个宽度为零、肉眼永远看不见的洞,缩放多少倍都看不出来。
一句话:定义域用眼睛扫,值域必须动笔解。
记 f: D → ℝ。
· D 叫定义域(domain),是允许代入的 x 的集合。
· 值域(range,也叫像 image)记作 f(D) = { f(x) : x ∈ D },即所有被实际取到的 y 组成的集合。
· 这里的 ℝ 是陪域(codomain),是「我们允许 y 待的地方」。f(D) ⊆ ℝ,而且这个包含通常是真包含——摘要说的「真的能吐出来的 y」,指的就是 f(D),不是 ℝ。
题目只给一个表达式、不声明 D 时,约定取自然定义域:使该表达式在实数范围内有意义的最大集合。三条常见限制:
· 分母 h(x):要求 h(x) ≠ 0
· 偶次根号 √g(x):要求 g(x) ≥ 0(是 ≥,等号能取,√0 = 0 完全合法)
· 对数 ln g(x):要求 g(x) > 0(这里是严格大于,真数不能是 0)
一个式子同时含多条限制时,D 是这些条件的交集 ∩ 而不是并集:每一条都必须同时成立。这是写错最多的一步。
值域的定义本身就藏着求它的方法:
y ∈ f(D) ⟺ ∃ x ∈ D 使得 f(x) = y。
右边是一个「关于 x 的方程有没有解」的问题。把 y 当已知常数、x 当未知数,从 f(x) = y 中解出 x = φ(y),那么「哪些 y 可行」就变成了「φ 的定义域是什么」——一个你上一段刚学会怎么做的问题。这就是本片的核心手法。
跟着做一遍
设 f(x) = (2x+1)/(x-3)。求它的自然定义域与值域,并解释 y = 2 为什么不在值域里。建议拿张纸,先自己做完第 1、2 步再往下看。
- 第 1 步(定义域,扫一遍):式子里没有根号、没有对数,只有一个分母 x-3。令 x-3 = 0 得 x = 3,这是唯一禁区。所以 D = {x ∈ ℝ : x ≠ 3}。注意 x = 3 时分子 2·3+1 = 7 ≠ 0,不存在「约掉」的可能,这个洞是真的。
- 第 2 步(先钉一个锚点):取 x = 4,f(4) = (2·4+1)/(4-3) = 9/1 = 9。于是我们已经确凿知道 9 ∈ f(D)。求值域时先手算一个值,能防止后面推导跑偏。
- 第 3 步(化归):不要去看图。改问一个等价的问题——给定 y,方程 (2x+1)/(x-3) = y 有没有解 x ∈ D?
- 第 4 步(去分母):因为 x ≠ 3,所以 x-3 ≠ 0,两边同乘 x-3 是合法可逆的变形,得 2x+1 = y(x-3) = yx - 3y。
- 第 5 步(把 x 收到一边):2x - yx = -3y - 1,即 x(2-y) = -(3y+1),两边同除 -1 得 x(y-2) = 3y+1,所以 x = (3y+1)/(y-2)。
- 第 6 步(关键:这已经变成一个定义域问题):(3y+1)/(y-2) 什么时候有意义?分母 y-2 ≠ 0,即 y ≠ 2。除此之外每个 y 都解得出 x。
- 第 7 步(补一个必要的检验):解出的 x 还必须落在 D 里,即 x ≠ 3。假设 (3y+1)/(y-2) = 3,则 3y+1 = 3(y-2) = 3y-6,两边消去 3y 得 1 = -6,矛盾。所以解出的 x 永远不会撞上 3,不必额外剔除任何 y。
- 第 8 步(互逆自检):把 y = 9 代回第 5 步的式子,x = (3·9+1)/(9-2) = 28/7 = 4,和第 2 步的锚点一致。这条自检能抓出符号搬错。
- 第 9 步(y=2 为什么不行):直接令 (2x+1)/(x-3) = 2,去分母得 2x+1 = 2x-6,消去 2x 得 1 = -6,无解——不是「解出来不好看」,是根本无解。但它能被无限逼近:取 x = 1000003,f(x) = 2000007/1000000 = 2.000007,离 2 只差百万分之七。任何图像都画不出这个差别。
结果
定义域 D = {x ∈ ℝ : x ≠ 3},值域 f(D) = {y ∈ ℝ : y ≠ 2}。两个集合各缺一个点,但性质不同:x = 3 是你一眼扫出来的,y = 2 是你解方程解出来的。图像上那条水平渐近线 y = 2 是一个宽度为零的洞——放大一万倍也看不见。这就是为什么值域必须解,不能看。