×


系統正在處理中....

窗口將在 5 秒后自動關閉.

  1.   首頁  
  2. |
  3.   產品專區  
  4. |
  5.   加值服務  
  6. |
  7.   客戶服務  
  8. |
  9.   企業專區  
  10. |
  11.   網路商城  
 
跨平台產品
Dr.eye PLUS
Dr.eye Quiz
 
家用産品
Dr.eye 365
Dr.eye 譯典通 X
Dr.eye 譯典通 X 升級版
 
行動産品
Dr.eye 雲端免費版
Dr.eye 雲端版 - 日語通
Dr.eye 雲端版 - 韓語通
Dr.eye Mobile for Android
Dr.eye Mobile for iPhone
 
硬體産品
Dr.eye 翻譯小子 X
Dr.eye 翻譯小子 3
 
過往產品
Dr.eye 譯典通 9.0 旗艦版
Dr.eye 譯典通 9.0 旗艦升級版
Dr.eye 譯典通 9.0 全民版
 
 
well-defined  
添加到生字筆記
KK:[ˈwɛldɪˈfaɪnd] DJ:[ˈwеldiˈfaind]
權威釋義


維基百科

在數學裡,術語定義良好(定義良好的 well-defined,名詞 well-definition)用於確認用一組基本公理以數學或邏輯的方式定義的某個概念或對象(一個函數,性質,關係,等等)是完全無歧義的,滿足它必需滿足的那些性質。通常定義是無歧義地表述,明白地滿足它們所需的性質。但有時候,使用任意選擇的方式來陳述定義是合理的,這時我們便要驗證定義與選擇無關。另一種情形,所需的性質可能不都是顯然的,這時要驗證它們。這些問題通常來自函數的定義。

譬如,在群論中,術語「定義良好」經常用於處理陪集時,陪集空間上的函數經常選取一個代表來定義:這時非常重要的是驗證無論選取陪集的哪個代表,就像算術運算一樣(比如,2{\displaystyle 2}3{\displaystyle 3}總是5{\displaystyle 5})我們總得到同樣的結果。 f(x1)=f(x2){\displaystyle f(x_{1})=f(x_{2})}只要 x1x2{\displaystyle x_{1}\sim x_{2}},則定義有意義,從而 f{\displaystyle f}X/{\displaystyle X/\sim } 上定義良好。函數在 X/{\displaystyle X/\sim } 上有不同定義域,應該視為不同的映射 f~{\displaystyle {\tilde {f}}},儘管這種差別通常被忽略。以這種觀點來看,我們說 f~{\displaystyle {\tilde {f}}} 是定義良好的如果圖表交換,即 f{\displaystyle f} 穿過 π{\displaystyle \pi } ,使得f=f~π{\displaystyle f={\tilde {f}}\circ \pi },這裡 π{\displaystyle \pi } 是典範投影映射 XX/{\displaystyle X\rightarrow X/\sim }

作為一個例子,考慮實數如下定義的等價關係:θ1θ2{\displaystyle \theta _{1}\sim \theta _{2}} 如果存在整數 n{\displaystyle n} 使得θ1θ2=2πn{\displaystyle \theta _{1}-\theta _{2}=2\pi n},這裡 π{\displaystyle \pi } 為圓周率。商集 X/{\displaystyle X/\sim } 可以和一個圓周等價,作為等價類 [θ]{\displaystyle [\theta ]} 表示一個角度(事實上這是 R{\displaystyle \mathbb {R} } 的加法子群 2πZ{\displaystyle 2\pi \mathbb {Z} } 的陪集空間 R/2πZ{\displaystyle \mathbb {R} /2\pi \mathbb {Z} })。現在如果 f:RR{\displaystyle f:\mathbb {R} \rightarrow \mathbb {R} } 是正弦函數,則 f~([θ])=cosθ{\displaystyle {\tilde {f}}([\theta ])=\cos \theta } 是定義良好的;但是如果 f(θ)=θ{\displaystyle f(\theta )=\theta }f~([θ])=θ{\displaystyle {\tilde {f}}([\theta ])=\theta } 不是定義良好的。

「定義良好」的另外兩個問題發生在定義從一個集合 X{\displaystyle X} 到集合 Y{\displaystyle Y} 的函數時。首先,f{\displaystyle f} 需定義在 X{\displaystyle X} 的所有元素上。譬如,函數 f(x)=1x{\displaystyle f(x)={\frac {1}{x}}} 不是從實數到自身定義良好的函數,因為 f(0){\displaystyle f(0)} 沒有定義。第二,對任何 xX{\displaystyle x\in X} 需有 f(x){\displaystyle f(x)}Y{\displaystyle Y} 中的元素。譬如,函數 f(x)=x2{\displaystyle f(x)=x^{2}} 不是從實數到正實數定義良好的函數,因為 f(0){\displaystyle f(0)} 不是正數。

一個集合是定義良好的,任何給定的對象要麼是、要麼不是這個集合的對象。



聯絡我們

客服專線 : (02)77378801
客服信箱 : service@dreye.com
服務時間 : 週一至週五 09:00~11:40 12:40~17:00 國定假日休息
購買鏈接
PC
Mobile
加入粉絲團


2017 Inventec Besta Co.,Ltd. All rights reserved
無敵科技股份有限公司版權所有
   隱私權聲明