2016年11月17日 星期四

[翻譯]Arthur Cayley,矩陣理論紀要(A Memoir on the Theory of Matrices),part: 7

1. For conciseness, the matrix written down at full length will in general be of the order 3, but it is to be understood that the definitions, reasonings, and conclusions apply to matrices of any degree whatever. And when two or more matrices are spoken of in connexion with each other, it is always implied (unless the contrary is expressed) that the matrices are of the same order.

1. 為簡明起見,所有完整寫出的矩陣均以3階為限。但請注意,所有定義、論證以及結論,完全適用於任意階數的矩陣。另外,在論及相關聯的兩個或更多矩陣之際,我們總是假定這些矩陣的大小是相同的(除非特別聲明例外)。

[翻譯]Arthur Cayley,矩陣理論紀要(A Memoir on the Theory of Matrices),part: 6

One of the application of the theorem is the finding of the general expression of the matrices which are convertible with a given matrix. The theory of rectangular matrices appears much less important than that of square matrices, and I have not entered into it  further than by showing some of the notions applicable to these may be extended to rectangle matrices.

本定理的一項應用是對於任予的一個矩陣導出一條表示式,式中各項均由可逆矩陣所構成。長方形矩陣之理論相較於方陣來說重要性較低,而我也亦未深入探討,例如確認哪些原來適用於方陣的理論可推展至長方形矩陣。

[翻譯]Arthur Cayley,矩陣理論紀要(A Memoir on the Theory of Matrices),part: 5

The theorem shows that every rational and integral function (or indeed every rational function) of a matrix may be considered as a rational and  integral function, the degree of which is at most equal to that of the matrix, less unity; it even shows that in a sense, the same is true with respect to any algebraical function whatever of a matrix.

此定理告訴我們,對於任一矩陣(方陣)所滿足的有理函數或是整函數(實際上是所有的有理函數),我們可將之考慮為次數至多為原矩陣階數減一的有理函數或是整函數。在某種程度來說,此定理可應用於任意一個與原來所考慮之矩陣相關聯的代數函數。

=====譯者註記開始=====

本句相當長,其中句尾"less unity"初譯時未能明白意義,於是貼文至ptt英文學習版(《Eng-Class》)請教。網友wohtp提供了相當多幫助,非常感謝。

於此附上在ptt之詢問文全文。

-----ptt請教文開始-----

 作者  pentiumevo (數學系最不靈光的人)                        看板  Eng-Class
 標題  [求譯] 數學論文中的一句話(已解決)
 時間  Sat Nov 12 01:11:19 2016
───────────────────────────────────────

請教各位板友一句話:

The theorem shows that every rational and integral function (or indeed every

rational function) of a matrix may be considered as a rational and  integral

function, the degree of which is at most equal to that of the matrix, less

unity.

其中的專有名詞:

theorem = 定理

rational and integral function = 有理函數與整函數

matrix = 矩陣

degree = 次數

unity (這個不確定,不知道該翻成「單位矩陣」還是數值1)

我試著解讀,是否可以翻譯成

「此定理指出,任一矩陣的有理函數或是整函數(實際上適用於任何有理函數)

都可看做是一個次數至多為原矩陣大小的有理函數或整函數...」

其中最後逗點之後的less unity不知道是什麼意思。

可以解讀為「減一」嗎?

那這樣翻譯的話,是不是就該重新改寫為

「...次數至多為原矩陣尺寸減1的有理函數或整函數...」

還是說我以上的理解完全錯誤呢?

懇請板友指點,謝謝。


--
線性代數一 98  線性代數二93   代數一 95   代數二 97
離散數學 96  基礎數論 98  數學導論(集合論) 100
微積分一 30 45 59 (重修三次) 微積分二 45 52 61 (重修三次)
高等微積分一 54 62 (重修兩次)  高等微積分二 48 52 60 (重修三次)
複變函數論 21 61 (重修兩次)  微分方程 38 61 (重修兩次)
幾何一 25  幾何二 旁聽  應用數學 努力中

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 180.176.134.70
※ 文章網址: https://www.ptt.cc/bbs/Eng-Class/M.1478884285.A.022.html
推 softseaweed: unity是數字1的fancy word,我的話會猜deg(f)>=1.     11/12 05:41
→ softseaweed: google出書卻沒看到theorem本身 蠻難判斷的           11/12 05:41
→ softseaweed: less unity 我會讀成to a lesser extent, unity       11/12 05:42
→ softseaweed: 不然其他解釋都怪怪的 有錯請見諒                    11/12 05:43
→ noonee: 看起來意思跟一樓說的一樣 最起碼是degree = 1             11/12 07:22
→ noonee: 不過我也沒把握                                          11/12 07:23
推 bloedchen: integral是積分,integer才是整數                      11/12 09:06
b大,integral未必只能翻譯成積分,例如抽象代數裡的integral domain,不會有人翻成
「積分域」,而會翻成「整區」或是「整環」。我想此處應該是採「整」意,而非「積分
」,請參考。
※ 編輯: pentiumevo (49.216.247.93), 11/12/2016 09:29:55
推 bloedchen: 喔喔喔!                                             11/12 09:44
推 wohtp: "...less unity" 解作「…減一」無誤                       11/12 21:39
推 wohtp: 例句好難想,試試看保險之類的,賠償金會減去你的部分負擔   11/12 21:44
→ wohtp: ……還真有。請google "less your  copay",包括引號。       11/12 21:45
→ wohtp: 然後就會有好幾頁的這個用法例子                           11/12 21:47
→ wohtp: 另,單位矩陣通常著重的是乘法單位元素的意思               11/12 21:48
→ wohtp: 所以應該會叫identity                                     11/12 21:49
→ wohtp: unity 感覺比較是「整數加法最小單位」這樣                 11/12 21:51
→ wohtp: 當你講實數的一才會說反正都一樣隨便混用                   11/12 21:52
→ gentianpan: 我原也猜減一,但我對逗號有意見,因此不肯定,請數    11/14 20:56
→ gentianpan: 學系的站出來回一下~                                 11/14 20:56
推 wohtp: 這個定理應該是有理函數都可以做無窮級數展開,但是         11/14 23:51
→ wohtp: nilpotent matrix of degree n滿足A^n=0所以級數只有n項     11/14 23:53
→ wohtp: 所以就是n-1沒錯                                          11/14 23:54
→ wohtp: 加個逗號只是句子太長喘口氣                               11/14 23:56

感謝wohtp大指教,非常清楚!
※ 編輯: pentiumevo (114.26.112.244), 11/17/2016 13:57:28

-----ptt請教文結束-----

另外,關於本句,其實在維基百科英文版Cayley-Hamilton theorem條目寫道:
For a general n×n invertible matrix A, i.e., one with nonzero determinant, A−1 can thus be written as an (n − 1)-th order polynomial expression in A
這正是Cayley在文章中要表達的意思。

=====譯者註記結束=====

2016年11月10日 星期四

[翻譯]Arthur Cayley,矩陣理論紀要(A Memoir on the Theory of Matrices),part: 4

I obtain the remarkable theorem that any matrix whatever satisfies an algebraical equation of its own order, the coefficient of the highest power being unity, and those of the other powers functions of terms of the matrix, the last coefficeint being in fact the determinant; the rule for the formation of this equation may be stated in the following condensed form, which will be intelligible after a perusal of the memoir, viz. the determinant, formed out of the matrix diminished by the matrix considered as a single quantity involving the matrix unity, will be equal to zero.

我發現了一個特別的定理,可以對任何一個矩陣(方陣)求得其代入後會成立的一條代數方程式,此方程式中最高次項的係數為1,其他次數的項的係數概由矩陣的元素所構成,而最後的常數項則是矩陣的行列式;推導出此方程式的方法或可概述如下,將原來所考慮的矩陣減去一個我們視為單變(未知)量的矩陣(與單位矩陣相關)後,計算所得矩陣的行列式,並令其為0。讀者在閱讀完本備忘錄後將會清楚地理解此推導方法。

2016年11月8日 星期二

[翻譯]Arthur Cayley,矩陣理論紀要(A Memoir on the Theory of Matrices),part: 3

It will be seen that matrices (attending only to those of the same order) comport themselves as single quantities; they may be added, multiplied or compounded together, &c.: the law of the addition of matrices is precisely similar to that for the addition of ordinary algebraical quantities; as regards their multiplication (or composition), there is the peculiarity that matrices are not in general convertible; it is nevertheless possible to form the powers (positive or negative, integral of fractional) of a matrix, and thence to arrive at the notion of a rational and integral function, or generally of any algebraical function, of a matrix.

我們可將矩陣與矩陣視作一般的量(quantity)來計算(限於同尺寸之矩陣);矩陣與矩陣彼此可相加、相乘,或是複合(compound,同時進行加法與乘法)等等: 矩陣的加法與我們平素所考慮的代數量的加法雷同;而矩陣的乘法(或是所謂的「合成(composition)」),必須注意到一個特異點是,一般說來,矩陣必非總是可逆的。不過我們仍然可以考慮矩陣的冪(正數或負數、整數或分數),順藤摸瓜就引入了以矩陣為變量的有理函數或是整函數,甚或任意代數函數。

2016年11月3日 星期四

[翻譯]Arthur Cayley,矩陣理論紀要(A Memoir on the Theory of Matrices),part: 2

The notion of such a matrix arises naturally from an abbreviated notation for a set of linear equations, viz. the equations
$$
\begin{eqnarray*}
X &=& ax+by+cz,\\
Y &=& a'x+b'y+c'z\\
Z &=& a''x+b''y+c''z
\end{eqnarray*}
$$
may be more simply represented by
$$
\left[
\begin{array}{c}
X \\
Y \\
Z
\end{array}
\right]
=
\left[
\begin{array}{ccc}
a & b & c \\
a' & b' & c' \\
a'' & b'' & c''
\end{array}
\right]
\left[
\begin{array}{c}
x \\
y \\
z
\end{array}
\right]
$$
and the consideration of such a system of equations leads to most of the fundamental notions in the theory of matrices.

矩陣的概念係由簡記一組線性方程式自然派生而出,所謂線性方程式,例如
$$
\begin{eqnarray*}
X &=& ax+by+cz,\\
Y &=& a'x+b'y+c'z\\
Z &=& a''x+b''y+c''z
\end{eqnarray*}
$$
可簡記為
$$
\left[
\begin{array}{c}
X \\
Y \\
Z
\end{array}
\right]
=
\left[
\begin{array}{ccc}
a & b & c \\
a' & b' & c' \\
a'' & b'' & c''
\end{array}
\right]
\left[
\begin{array}{c}
x \\
y \\
z
\end{array}
\right]
$$
而關於線性方程組的研究,引領出矩陣理論中最基本的幾個概念。