跳转到内容

实函数:修订间差异

维基百科,自由的百科全书
删除的内容 添加的内容
无编辑摘要
取消219.197.158.119对话)的编辑;更改回PastorPsy326的最后一个版本
第3行: 第3行:


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


定義於所有[[非负数|非負實數]]的[[平方根]]函數便是一個例子:<math>f:X\to\R</math>,當中<math>X=\{x\in\R:x\ge0\}
定義於所有[[非负数|非負實數]]的[[平方根]]函數便是一個例子:<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> 是所有非負實數的集合及對所有 <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|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|f}}'' 的值域是指當 ''{{Math|x}}'' 可取定義域內任何值時,{{Math|''f''(''x'')}} 所有可能取值的集合。若 ''{{Math|f}}'' 是[[连续函数|連續]]實函數而其定義域是一個[[區間]],那麼它的值域也會是一個區間(除非 ''{{Math|f}}'' 是[[常數函數]],此時其值域將是一點)。


對任何實數{{Math|''y''}},方程式{{Math|''y''{{=}}''f''(''x'')}}所有實數解的集合稱為{{Math|''y''}}的[[原像]]。
對任何實數 {{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|''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|''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''}}的定義域,所以上述[[代数结构|代數結構]]不構成一個[[域 (數學)|體]]。
雖然對任意實函數 {{Math|''f''}} 可定義 <math>1/f:x\mapsto1/f(x)</math>,但由於此函數的定義域不包含所有使得 {{Math|1=''f''(''x'')=0}} ''{{Math|x}}'' 值,它不一定等於 {{Math|''f''}} 的定義域,所以上述[[代数结构|代數結構]]不構成一個[[域 (數學)|體]]。


== 參見 ==
== 參見 ==

2017年9月18日 (一) 23:20的版本

实函数(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 的定義域,所以上述代數結構不構成一個

參見