[翻譯] equation identity

看板Math作者 (bucolic)時間5年前 (2020/08/02 12:18), 5年前編輯推噓15(15推 0噓 33→)
留言48則, 5人參與, 5年前最新討論串1/1
x+y=y+x 是恆等式。2+3=5 是等式。 請問恆等式(法文identité)與等式(法文relation)要如何區別? https://www.academia.edu/3287674/What_is_an_Equation equality等式。identity恆等式。equation方程式。 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.240.145.19 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1596341931.A.41D.html
推
08/02 12:49, 5年前 , 1F
不知道能不能幫上你的忙 可以參照下面這篇wiki
08/02 12:49, 1F
→
08/02 12:50, 5年前 , 2F
08/02 12:50, 2F
→
08/02 12:50, 5年前 , 3F
atics)
08/02 12:50, 3F
推
08/02 13:00, 5年前 , 4F
基本上就是區分 equality, identity, 和equation
08/02 13:00, 4F
→
08/02 13:00, 5年前 , 5F
對於equality (也就是=) 形式上我們不深究其哲學意
08/02 13:00, 5F
→
08/02 13:00, 5年前 , 6F
涵 只對其該有的性質作描述
08/02 13:00, 6F
→
08/02 13:00, 5年前 , 7F
=是一個二元的relation 滿足
08/02 13:00, 7F
→
08/02 13:00, 5年前 , 8F
1.對於所有數學對像x, x=x
08/02 13:00, 8F
→
08/02 13:00, 5年前 , 9F
2. x=y 會推到 y=x
08/02 13:00, 9F
→
08/02 13:00, 5年前 , 10F
3. x=y及y=z會推到 x=z
08/02 13:00, 10F
→
08/02 13:00, 5年前 , 11F
4.對於所有可能的"函數"f, x=y會推得f(x)=f(y)
08/02 13:00, 11F
推
08/02 13:05, 5年前 , 12F
如wiki所述 identity是針對兩個"函數" f和g, identi
08/02 13:05, 12F
→
08/02 13:05, 5年前 , 13F
ty被忽略的潛台詞是 for all, 也就是
08/02 13:05, 13F
→
08/02 13:05, 5年前 , 14F
for all x,y,z,..., f(x,y,z,...)=g(x,y,z,...)
08/02 13:05, 14F
→
08/02 13:05, 5年前 , 15F
這裡的等號是前述的relation
08/02 13:05, 15F
推
08/02 13:08, 5年前 , 16F
equation的對像也是2個函數f,g 但潛台詞則是there e
08/02 13:08, 16F
→
08/02 13:08, 5年前 , 17F
xist 也就是下列這個性質
08/02 13:08, 17F
→
08/02 13:09, 5年前 , 18F
for exist x,y,z,..., f(x,y,z,...)=g(x,y,z,...)
08/02 13:09, 18F
→
08/02 13:10, 5年前 , 19F
所謂解方程式 就是驗證上述性質是否正確
08/02 13:10, 19F
→
08/02 13:11, 5年前 , 20F
如果正確 則求特例
08/02 13:11, 20F
推
08/02 13:13, 5年前 , 21F
這裡relation和function都是用直觀集合論的術語
08/02 13:13, 21F
推
08/02 13:20, 5年前 , 22F
正如wiki所述 我們並沒有用不同的符號將identity和e
08/02 13:20, 22F
→
08/02 13:20, 5年前 , 23F
quation區分開來 但兩者都是基於equality這個概念
08/02 13:20, 23F
推
08/02 13:32, 5年前 , 24F
對於equality的表現性質還漏一項
08/02 13:32, 24F
→
08/02 13:32, 5年前 , 25F
5. 對於任意一個可能的性質P, x=y, z=w,...會推到P(
08/02 13:32, 25F
→
08/02 13:32, 5年前 , 26F
x,z,...)和P(y,w,...)是邏輯相等的
08/02 13:32, 26F
推
08/02 13:40, 5年前 , 27F
關於equality 還可參照下面這篇
08/02 13:40, 27F
推
08/02 13:43, 5年前 , 28F
08/02 13:43, 28F
推
08/03 04:19, 5年前 , 29F
這麼好的回答沒有以文章方式呈現太可惜了
08/03 04:19, 29F
→
08/03 13:32, 5年前 , 30F
推文推了一個鐘頭,真辛苦
08/03 13:32, 30F
→
08/03 13:34, 5年前 , 31F
那是因為原po一直修文，不是一次推一個鐘頭
08/03 13:34, 31F
推
08/03 16:17, 5年前 , 32F
XD 因為我是用手機手寫輸入 才用這麼久
08/03 16:17, 32F
推
08/04 01:45, 5年前 , 33F
2+3=5也是恆等式啊
08/04 01:45, 33F
推
08/04 08:54, 5年前 , 34F
我一開始也想回上面這句 XD 只是覺得原po想要更一般
08/04 08:54, 34F
→
08/04 08:54, 5年前 , 35F
的說明 才從頭說起
08/04 08:54, 35F
→
08/04 08:56, 5年前 , 36F
當一個等式的左右兩邊都是邏輯上的closed term時 我
08/04 08:56, 36F
→
08/04 08:57, 5年前 , 37F
們得確也會叫他恆等式 英文也還是identity
08/04 08:57, 37F
A mathematical equation can be a contradiction, an identity, or a conditional equation. An identity is an equation where all real numbers are possible solutions for the variable. You can verify simple identities such as x=x easily, but more complex equations are more difficult to verify. The easiest way to tell whether or not any equation is an identity is by graphing the difference of both sides of the equation. https://sciencing.com/determine-equation-identity-7611259.html
推
08/06 07:14, 5年前 , 38F
在英文中的確常會把帶有等式的運算式都叫做equation
08/06 07:14, 38F
→
08/06 07:14, 5年前 , 39F
從其字根看起來也是合情合理 (在中文裡 等式和方程
08/06 07:14, 39F
→
08/06 07:14, 5年前 , 40F
式則是不同的概念) 在不會太奇怪的情況下 for all
08/06 07:14, 40F
→
08/06 07:14, 5年前 , 41F
的確也是there exist的特例
08/06 07:14, 41F
In mathematics, an equation is a statement that asserts the equality of two expressions. The word equation and its cognates in other languages may have subtly different meanings; for example, in French an équation is defined as containing one or more variables, while in English any equality is an equation.
推
08/06 07:34, 5年前 , 42F
wiki那篇 equation那節第一段前半寫的敍述 就是中
08/06 07:34, 42F
→
08/06 07:34, 5年前 , 43F
文中 方程式的概念
08/06 07:34, 43F
→
08/06 07:34, 5年前 , 44F
也是第一段 其後半段也有提到類似連結的說法
08/06 07:34, 44F
→
08/06 07:34, 5年前 , 45F
而第二段的敘述也直接點名 我們並沒有真的給equatio
08/06 07:34, 45F
→
08/06 07:34, 5年前 , 46F
n一個明確的定義
08/06 07:34, 46F
→
08/06 07:34, 5年前 , 47F
我上面在寫的時候 第一直覺就是用"方程式"在描述
08/06 07:34, 47F
→
08/06 07:34, 5年前 , 48F
很抱歉
08/06 07:34, 48F
※ 編輯: ostracize (111.240.125.37 臺灣), 08/06/2020 09:32:29
‣ 更多 ostracize 的文章
文章代碼(AID): #1V9ZwhGT (Math)