跳转到内容

实函数:修订间差异

维基百科,自由的百科全书
删除的内容 添加的内容
Chobot留言 | 贡献
Bot: Migrating 1 interwiki links, now provided by on Wikidata on Q861681
Tang891228留言 | 贡献
 
(未显示4个用户的6个中间版本)
第1行: 第1行:
{{Expand language|time=2017-05-08T01:33:57+00:00}}
'''实函数'''(Real function),指[[定义域]]和[[值域]]均为[[实数]]的[[函数]]。實函數的特性之一是可以在[[坐標]]上畫出圖形。
{{NoteTA
|G1 = Math
}}
'''实函数'''(Real function),指[[定义域]]和[[值域]]均为[[实数|实数集]]的[[子集]]的[[函数]]。實函數的特性之一是可以在[[坐標系|坐標平面]]上畫出圖形。


== 定義 ==
*參見[[實分析]]
一個實函數 ''{{Math|f}}'' 是一個把實數(一般以 ''{{Math|x}}'' 表示)映射到另一實數(函數的值,一般以 {{Math|''f''(''x'')}} 表示)的函數。換句話說,實函數是一個函數 <math>f:X \to \R</math>,當中 <math>X</math> 是 <math>\R</math> 一個包含至少一個[[开集|開集]]的子集(可以等於 <math>\R</math>)。
{{math-stub}}


定義於所有[[非负数|非負實數]]的[[平方根]]函數便是一個例子:<math>f:X\to\R</math>,當中 <math>X=\{x\in\R:x\ge0\}
</math> 是所有非負實數的集合及對所有 <math>x\in X</math>,<math>f(x)=\sqrt x</math>。

=== 定義域 ===
一個實函數的定義域未必總是明確寫出。對任一定義域為 ''{{Math|X}}'' 的實函數 ''{{Math|f}}'' 和任一 ''{{Math|X}}'' 的子集 ''{{Math|Y}}'',可定義 {{Math|''f''}} 對 {{Math|''Y''}} 的限制函數 {{Math|''f''{{!}}<sub>''Y''</sub>}}。其定義域為 {{Math|''Y''}} 而對所有 {{Math|''Y''}} 的[[元素 (數學)|元素]],函數的取值維持不變。若 {{Math|''Y''}} 是 ''{{Math|X}}'' 的真子集,這兩個函數理論上並不相同,但往往可將兩者視為等同。

相反,有時函數的定義域可透過[[解析延拓]]或利用函數的連續性擴大。由此可見,明確指出實函數的未必有明顯價值。

=== 像與值域 ===
函數 ''{{Math|f}}'' 的值域是指當 ''{{Math|x}}'' 可取定義域內任何值時,{{Math|''f''(''x'')}} 所有可能取值的集合。若 ''{{Math|f}}'' 是[[连续函数|連續]]實函數而其定義域是一個[[區間]],那麼它的值域也會是一個區間(除非 ''{{Math|f}}'' 是[[常數函數]],此時其值域將是一點)。

對任何實數 {{Math|''y''}},方程式 {{Math|''y''{{=}}''f''(''x'')}} 所有實數解的集合稱為 {{Math|''y''}} 的[[原像]]。

=== 代數結構 ===
實函數之間的運算可如下定義:
* 對任意實數 {{Math|''r''}} 及實函數 {{Math|''f''}},可定義兩者的積 <math>rf:x\mapsto rf(x)</math>。若 {{Math|''r''}} 不等於 0,則此函數的定義域與 {{Math|''f''}} 相同。
* 對任何兩個實函數 {{Math|''f''}} 和 {{Math|''g''}},可定義兩者的和 <math>f+g:x\mapsto f(x)+g(x)</math> 及積 <math>fg:x\mapsto f(x)g(x)</math>。兩者的定義域均為 {{Math|''f''}} 和 {{Math|''g''}} 的定義域的[[交集]]。
由此,所有定義於全部實數和所有定義於某一特定區間的實函數分別組成 <math>\R</math> 上的[[結合代數]](也因此組成一個[[向量空间|向量空間]]),其中加法和乘法單位元分別為常數函數 <math>0_f:x\mapsto0</math> 及 <math>1_f:x\mapsto1</math>。

雖然對任意實函數 {{Math|''f''}} 可定義 <math>1/f:x\mapsto1/f(x)</math>,但由於此函數的定義域不包含所有使得 {{Math|1=''f''(''x'')=0}} 的 ''{{Math|x}}'' 值,它不一定等於 {{Math|''f''}} 的定義域,所以上述[[代数结构|代數結構]]不構成一個[[域 (數學)|體]]。

== 參見 ==
* [[實分析]]
[[category:函数|S]]
[[category:函数|S]]

2019年4月2日 (二) 09:43的最新版本

实函数(Real function),指定义域值域均为实数集子集函数。實函數的特性之一是可以在坐標平面上畫出圖形。

定義

[编辑]

一個實函數 f 是一個把實數(一般以 x 表示)映射到另一實數(函數的值,一般以 f(x) 表示)的函數。換句話說,實函數是一個函數 ,當中 一個包含至少一個開集的子集(可以等於 )。

定義於所有非負實數平方根函數便是一個例子:,當中 是所有非負實數的集合及對所有

定義域

[编辑]

一個實函數的定義域未必總是明確寫出。對任一定義域為 X 的實函數 f 和任一 X 的子集 Y,可定義 fY 的限制函數 f|Y。其定義域為 Y 而對所有 Y元素,函數的取值維持不變。若 YX 的真子集,這兩個函數理論上並不相同,但往往可將兩者視為等同。

相反,有時函數的定義域可透過解析延拓或利用函數的連續性擴大。由此可見,明確指出實函數的未必有明顯價值。

像與值域

[编辑]

函數 f 的值域是指當 x 可取定義域內任何值時,f(x) 所有可能取值的集合。若 f連續實函數而其定義域是一個區間,那麼它的值域也會是一個區間(除非 f常數函數,此時其值域將是一點)。

對任何實數 y,方程式 y=f(x) 所有實數解的集合稱為 y原像

代數結構

[编辑]

實函數之間的運算可如下定義:

  • 對任意實數 r 及實函數 f,可定義兩者的積 。若 r 不等於 0,則此函數的定義域與 f 相同。
  • 對任何兩個實函數 fg,可定義兩者的和 及積 。兩者的定義域均為 fg 的定義域的交集

由此,所有定義於全部實數和所有定義於某一特定區間的實函數分別組成 上的結合代數(也因此組成一個向量空間),其中加法和乘法單位元分別為常數函數

雖然對任意實函數 f 可定義 ,但由於此函數的定義域不包含所有使得 f(x)=0x 值,它不一定等於 f 的定義域,所以上述代數結構不構成一個

參見

[编辑]