代数学総合スレッド Part4
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
2007/08/25(土) 09:00:00代数学総合スレッド
http://science.2ch.net/test/read.cgi/math/1011536232/
代数学総合スレッド Part2
http://science3.2ch.net/test/read.cgi/math/1045779496/
代数学総合スレッド part3
http://science6.2ch.net/test/read.cgi/math/1116279106/
0475(-人-)ﾅﾑﾅﾑ
2008/08/30(土) 03:08:010476１３２人目の素数さん
2008/09/11(木) 18:59:34亡くなった、永田先生の業績と一点コンパクト化がどのように関係あるのか
説明できる人居ませんか？上の論文にその事が書いてあるらしいのだけど
論文の説明できる人居ませんか？
大好き代数幾何のスレにも投稿しましたが、すみません。よろしくお願いします。
0477１３２人目の素数さん
2008/09/11(木) 19:00:520478１３２人目の素数さん
2008/09/11(木) 19:04:050479１３２人目の素数さん
2008/09/11(木) 20:45:23よろしくお願いします。
0480１３２人目の素数さん
2008/09/13(土) 14:56:130481１３２人目の素数さん
2008/09/13(土) 15:48:34偉い学者でも２ｃｈ見る人は居ると思ったのですが・・・。
それとも、マルチしたから顰蹙買って答えてもらえないんでしょうか？
0482１３２人目の素数さん
2008/09/13(土) 16:48:14匿名で掲示板に書き込めば魔法の箱のように答えが出てくると思ってる奴をみると
反吐が出るなｗ
なんでてめーの代わりに論文読んでやらないとならんのだよ。
0483１３２人目の素数さん
2008/09/13(土) 18:40:39永田先生が亡くなったし、永田先生の業績をみんなが知ることは
良いことだと思うし。
まあ、反吐がでるとか思ってるかも知れないけど、そう言わずに
論文読む力があるなら教えてください。お願いします。m(_ _)m
0484１３２人目の素数さん
2008/09/13(土) 18:50:45基礎学力と英語の力の不足から自分で読めないです。申し訳ない。
もし、読めるんでしたらよろしくお願いします。
他スレで上の論文に永田先生の業績と一点コンパクト化の関係
が書いてあると聞きました。目的の論文が見つかって感激したのですが
自分ではやはり力不足で読めません。誰か素人にも分かるように
解説していただける方がいらっしゃればありがたいです。
0485１３２人目の素数さん
2008/09/13(土) 18:51:24「情報はそう簡単には手に入らない」
「食い下がれば教えて貰えるような ものでもない」
ということである。
0486１３２人目の素数さん
2008/09/13(土) 19:00:01必死になって隠してるやつがいるんだよなｗ
0487１３２人目の素数さん
2008/09/13(土) 19:48:390488１３２人目の素数さん
2008/09/14(日) 06:15:270489１３２人目の素数さん
2008/09/14(日) 13:06:420490miwa
2008/09/15(月) 10:48:30行列A,Bがともに同じ大きさのべき乗行列でAB=BAが成り立っている時,
ABとA+Bもべき乗行列になる事を示せ。
[解]
AB=BAより
(AB)^r=A^rB^r=O・O=OでABがべき乗行列である事は直ぐ示せたのですが
(A+B)^r=Σ[k=0..r](r-k)CkA^(r-k)B^r
から先に進めません。どうすれば=0にたどり着けますでしょうか?
0491１３２人目の素数さん
2008/09/15(月) 11:19:57便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
便所 便所 便所 便所 便所 便所 便所 便所 便所 便所 便所
0492１３２人目の素数さん
2008/09/15(月) 11:25:240493菅_理人@kmath1107BBS ◆.ffFfff1uU
2008/09/15(月) 12:02:05r乗ではなく2r乗したらいいと思う。
0494miwa
2008/09/15(月) 12:52:43ありがとうございます。すんなり示せました。
0495１３２人目の素数さん
2008/09/15(月) 16:35:55ゼミでガロア理論をやってるのですが、正直今までテスト前だけ勉強やって
４年まで来たのでほとんど数学を理解してません。
それで石村園子の｢すぐわかる代数｣をやったらかなり代数について理解できた気がします。（というか集合論について）
ただ、これは入門中の入門だと思うのでその後の代数について触れてある本を読みたいです。
｢すぐわかる代数｣は準同型定理までしか書いてないのでとりあえずイデアル、代数拡大辺りをやりたいのですが、ちょうどいい本ってありますか？
この本みたいに読んでかるく演習を解けば理解できる本が理想です。
0496１３２人目の素数さん
2008/09/15(月) 16:39:22演習問題も馬鹿みたいに多いし高校生以上の知識あるならいきなり読める。
0497１３２人目の素数さん
2008/09/15(月) 16:41:19どうもです。
洋書ですか…！英語で書いてあるんですか？
英語ちょっと読めないので、できたら和書がいいんですが…。
0498１３２人目の素数さん
2008/09/15(月) 17:25:29２ちゃんって最低
0499KingMind ◆KWqQaULLTg
2008/09/15(月) 17:55:000500１３２人目の素数さん
2008/09/17(水) 09:40:37あえて洋書を薦める２ちゃんねらーってマジで最低だな
0501１３２人目の素数さん
2008/09/17(水) 14:26:270502１３２人目の素数さん
2008/09/17(水) 18:55:10ただ代数入門みたいな本はバックグラウンドの知識自体は
ほとんど同じなので、あとは如何に気合出して読むか、
という問題が一番大きいと思うなあ。
まあ今の「数学的素養」で服部昭の「現代代数学」みたいなの読んだら
いくら頑張っても第一章終わる前に撃沈しそう、とかそういうのはあるが。
松坂の代数系入門とか、「群・環・体入門」とか、
あとは、多少難しくなるけど東京大学出版会の「大学数学の入門」シリーズとかかなあ。
0503１３２人目の素数さん
2008/09/25(木) 06:13:09カカンカンロン
読みなさい
0504１３２人目の素数さん
2008/09/25(木) 06:16:19携帯からでも見れるようにしてくれたら
わしが答えてやる
PDFファイルはちと難儀じゃ
0505１３２人目の素数さん
2008/09/29(月) 08:45:13と言う問題で「v∈Vの各元はλ_v∈V^**にriseを与える」
とはどういう意味なんでしょうか?
riseとは??
0506１３２人目の素数さん
2008/09/29(月) 11:31:320507１３２人目の素数さん
2008/09/30(火) 13:49:00ありがとうございます。
0508１３２人目の素数さん
2008/10/03(金) 20:18:090509１３２人目の素数さん
2008/10/03(金) 20:45:23ほとんどの概念は線形代数がベースだもの。
0510１３２人目の素数さん
2008/10/03(金) 22:55:530511１３２人目の素数さん
2008/10/04(土) 00:44:58線型代数はかなり後の章にならないと出て来ない。
これで代数学を勉強した人は>>508の言うような順番で勉強したはず。
0512１３２人目の素数さん
2008/10/05(日) 13:28:15VをR上の有限次元スカラー積空間とし{v_1,v_2,…,v_n}をVの直交空間とする。
その時,r={v∈{v_1,v_2,…,v_n};<v,v>>0}なる正整数rが存在する。
という解釈で大丈夫でしょうか?
0513１３２人目の素数さん
2008/10/05(日) 13:33:10代数ってxyとか簡単なことじゃなかったのな
0514１３２人目の素数さん
2008/10/05(日) 13:37:42訂正
r=#{v∈{v_1,v_2,…,v_n};<v,v>>0}
です。
0515１３２人目の素数さん
2008/10/05(日) 15:05:18p160の下から二行目のsgnA=(p,q)の部分で、この場合のsgnはどういう意味なのでしょうか？？
行列式の章で、置換の符号という意味でのsgnは知っているのですが、この場合はある行列Aに対してsgnAと書かれています。
なので、この場合のsgnの意味が分からないのですが、どなたか教えてくださいm(__)m
0516１３２人目の素数さん
2008/10/05(日) 15:12:27記号が常に一意だとかおもってたら
函数 f とか迂闊に書けないジャン。
0517１３２人目の素数さん
2008/10/05(日) 15:39:320518１３２人目の素数さん
2008/10/05(日) 15:50:310519１３２人目の素数さん
2008/10/05(日) 15:52:060520515
2008/10/05(日) 15:55:02ご返答ありがとうございます。
確かにそのようですね。sgnをそう捉えると後の部分との整合性がとれているように思います。
>>517
すみません(>_<)
みんなこの本を持っているだろうから、ある程度質問の要点を記せば分かってくれるだろうと勝手に思い込んでいたので、今後気をつけます。
0521１３２人目の素数さん
2008/10/05(日) 18:59:06意味不明
> {v_1,v_2,…,v_n}をVの直交空間
左辺は n 個の元からなる集合だよね。これが「直交空間」であるとはどういうこと？
> r=#{v∈{v_1,v_2,…,v_n};<v,v>>0}
内積は <v,v> > 0 (v ≠ 0) を満たすので、これだと r = n となるが？
0522１３２人目の素数さん
2008/10/05(日) 20:30:050523１３２人目の素数さん
2008/10/06(月) 02:00:57ありがとうございます。
>> {v_1,v_2,…,v_n}をVの直交空間
> 左辺は n 個の元からなる集合だよね。これが「直交空間」であるとはどういうこと？
直交基底といいたかったのでした。
> 複素上の間違いだろう。
いえ、確認しましたがやはりR上になってます。
> r=#{v∈{v_1,v_2,…,v_n};<v,v>>0}
> 内積は <v,v> > 0 (v ≠ 0) を満たすので、これだと r = n となるが？
内積ではなくスカラー積
(ちなみにスカラー積の定義は(i) <v,w>=<w,v>, (ii) <u,v+w>=<u,v>=<u,w>,
(iii) <cu,v>=c<u,v> 且つ <u,cv>=c<u,v> (u,v,w∈V,c∈F) の3つ)
なので<v,v> > 0 (v ≠ 0)とは必ずしも言えないと思うのですが…。
0524１３２人目の素数さん
2008/10/06(月) 04:34:35うん、最初にWell-orderingとかやってRingいってVector Spaceでそのあとmoduleって感じの本でやってる。
GroupとFieldはその間にちょろちょろ。
0525１３２人目の素数さん
2008/10/06(月) 05:38:45スカラー積と内積は同じ意味で使うことのほうが多いように思う．
その「スカラー積」は，双線型形式とか退化内積と言うことが多い．
で，>>512 の記述は雰囲気は正しいが，ちょっと間違っている．
(1) は間違いで，(2),(3) は本来の定理よりも弱い部分：
(1) 数 r が基底の取り方に依存する書き方になっているが，
これだと当たり前の主張．ポイントは r が基底の取り方に依らないこと．
(2) 基底が直行している必要はない．
(3) <v, v> < 0 なるものの数に対しても同様の主張が成り立つ．
0526１３２人目の素数さん
2008/10/07(火) 13:24:20Let A,B be nilpotent matrices, of the same size ,and assume AB=BA.Show that AB is nilpotent.
と言う問題です。
AもBもnilpotentで同じ大きさだというのだからその大きさをrとすると
(AB)^r=A^rB^r=O・O=O
として不正解だったのですが何処を間違っているのでしょうか?
0527１３２人目の素数さん
2008/10/07(火) 14:21:59A が羃零の定義における r は行列 A の大きさと言っているわけではない。
その部分をきちんと述べなかったからだろう。
0528１３２人目の素数さん
2008/10/07(火) 18:10:22意識しているのだと思うのだけど、最初に使ったのは誰？
それとも双対空間の概念は共役の概念より先に導入されたの？
0529１３２人目の素数さん
2008/10/07(火) 21:03:03英語の勉強先にした方がいいぞ、おまえ。
1) (∃n)(∃m)(A^n=O and B^m=O)
2) AB=BA (同じ大きさじゃないとこれ言えんでしょ、そもそも・・・)
↓
(AB)^nm = (A^nm)(B^nm) (∵2) = (O^m)(O^n) = O
↓
AB: nilpotent
高校生でも解けるぞこれ。
0530１３２人目の素数さん
2008/10/08(水) 07:09:34ご回答ありがとうございます。
すいません。まだよく分かりません。
"same size"とはAもBも同じべき乗でOになるという意味ではないんですね。
AとBとが同じ行数と同じ列数という意味なのですね。
問題文はAは正方行列でAB=BAだと仮定しているので
AとBも同じ行数・列数になると思うのですが…。
それでこの"same size"はべき乗の意味だと解釈してました。
0531１３２人目の素数さん
2008/10/08(水) 09:01:00｢size｣って書いてあるじゃんｗ
0532１３２人目の素数さん
2008/10/08(水) 09:03:33せめてA+Bにすれだいいのに
0533１３２人目の素数さん
2008/10/08(水) 09:52:46勝手に解釈して勝手に間違えてりゃあ世話ねえな。
あんたが言ってるのは same order などと言われる。
0534１３２人目の素数さん
2008/10/08(水) 11:51:51どうもありがとうございました。
0535１３２人目の素数さん
2008/10/09(木) 10:54:00product on V. By the quadratic form determined by g, we shall mean the
function
f:V→K such that f(v)=g(v,v)=<v,v>.
と二次形式の説明があります。
fが二次形式とはg:V^2→Kがあるとするとf:V→KをV∋∀x→f(x):=g(x,x)と定義されてる時,
fはgの二次形式であるとか言ったりするのでしょうか?
Let V be a finite dimensional vector space over a feild K. Let f:V→K be a
function,and assume that the fuction g defined by
g(v,w)=f(v+w)-f(v)-f(w) is bilinear. Assume that f(av)=a^2f(v) for all v∈V
and a∈K. show that f is a quadratic form,and determine a bilinear form from
which it comes.Show that this bilinear form is unique.
charK≠2.
と言う問題です。(ちなみにスカラー積の定義は(i) <v,w>=<w,v>, (ii) <u,v+w>=<u,v>=<u,w>,
(iii) <cu,v>=c<u,v> 且つ <u,cv>=c<u,v> (u,v,w∈V,c∈K))
最初の証明は
g(v,v)=f(v+v)-f(v)-f(v)=f(2v)-2f(v)=2^2f(v)-2f(v)=2f(v)となりました。
そこでcharK≠2なので2は逆元1/2を持ち,f(v)=1/2g(v,v)で確かにfは2次形式になってます。
0536１３２人目の素数さん
2008/10/09(木) 10:54:35もしf(v)=<v,v>'なるスカラー積<,>'があったとすると
∀v,w∈Vに対して<v,w>=<v,w>'が成り立つ事を言えばいいのだと思います。
<v,w>=<v,w>'を示すのに使える道具は
スカラー積の定義は(i) <v,w>=<w,v>, (ii) <u,v+w>=<u,v>=<u,w>,
(iii) <cu,v>=c<u,v> 且つ <u,cv>=c<u,v> (u,v,w∈V,c∈K) ((ii),(iii)は双線形))
と<v,v>=<v,v>'(i=1,2,…,n) …① だけですよね。
<v,w>=1/2(<v+w,v+w>-<v,v>-<w,w>)
<v,w>'=1/2(<v+w,v+w>'-<v,v>'-<w,w>')と書ける(∵スラカー積の定義)。
よって①から
<v+w,v+w>=<v+w,v+w>'
<v,v>=<v,v>'
<w,w>=<w,w>'
が成り立っているので<v,w>=<v,w>'が言えた。
これでいいでしょうか?
0537１３２人目の素数さん
2008/10/09(木) 21:49:16だいたい全部 OK．以下こまかいこと．
> fが二次形式とはg:V^2→Kがあるとするとf:V→KをV∋∀x→f(x):=g(x,x)と定義されてる時,
> fはgの二次形式であるとか言ったりするのでしょうか?
いわない．g は一般の V^2 → K ではなく，スカラー積でないとダメ．
（スカラー積であれば，g に関する二次形式などと言う）
証明の前半はOK（g/2 がスカラー積であることには注意）．
後半は，一行目の
> 後半についてはまずg(v,w)を<v,w>と表す事にする。
が g(v,w)/2 のタイプミス．他は OK．
0538１３２人目の素数さん
2008/10/14(火) 12:31:240539１３２人目の素数さん
2008/10/14(火) 12:32:01ありがとうございました。
0540１３２人目の素数さん
2008/10/14(火) 21:20:21に絡み；【忙中（数秒∃)閑あり の際 遊び心で】次の中学生向きの 有理化の問を
K=Q[x]/f[x]*Q[x]|
|
Q
なる (Q上の有限次元のvector空間） Q上の有限次拡大体 の 視座から
此処に登場される世界の皆様に 解説を お願い致します。
------------------------------------------------------
頻出の分母の有理化ですが
http://jp.youtube.com/watch?v=i4F8x_6PHpY
ではなく 上の体Kの視座から お願い致します。
(イ 易) 1/(69 + Sqrt[19])
(ロ) 1/(7 + 5^(1/3) + 3^(1/5) + 2^(1/7))
問題(ロ) が 【徒に】【煩雑】な問 と とられかねない
＜とられかねない の検索結果 約 38,600,000 件＞ ので、
少し簡易化し ;
s=7 + 2^(1/7) + 3^(1/5)について
(1)f(s)=0となるsの最小多項式f(x)∈Q[x]を求めてください。
( その際 x = Sqrt[2] + Sqrt[3]は代数的数である.
何故ならばx-Sqrt[2]= Sqrt[3]の両辺を二乗すると
云々の論法が紹介されていましたのでその論法に倣い、
また 他の手法で最小多項式を求めてください。 ）
(2)体 Q[x]/f[x]*Q[x]において,xの逆元（が∃）を求めることにより、
1/sの分母の有理化をなさってください。
(3)中学高校の授業で示される手法
http://jp.youtube.com/watch?v=i4F8x_6PHpY
でも 1/sの分母の有理化をお願いします。
(ロ)1/(7 + 5^(1/3) + 3^(1/5) + 2^(1/7))もお願いします。
-----------------------------------------------------------------
0541１３２人目の素数さん
2008/10/16(木) 10:46:44T:=span{(x_1+x_2,y)-(x_1,y)-(x_2,y),(x,y_1+y_2)-(x,y_1)-(x,y_2),(rx,y)-r(x,y),(x,,ry)-r(x,y)}
と定義し,
V(×)W:={{(x,y)∈span(V×W);(x,y)≡(v,w) (mod T)};(v,w)∈V×W}をR上のテンソル積という。
{(x,y)∈span(V×W);(x,y)≡(v,w) (mod T)}をv(×)wと書き,(v,w)のテンソルという。
定義から
(v_1+v_2)(×)w=v_1(×)w + v_2(×)w
v(×)(w_1+w_2)=v(×)w_1 + v(×)w_2
(αv)(×)w=v(×)(αw) =α(v(×)w)
が成り立つとあったのですが
(v_1+v_2)(×)w∈V(×)Wを採ると,
(v_1+v_2)(×)w={(x,y)∈span(V×W);(x,y)≡(v_1+v_2,w) (mod T)}と書け、
∀(x,y)∈{(x,y)∈span(V×W);(x,y)≡(v_1+v_2,w) (mod T)}をとると
(x,y)=(t,s)+(v_1+v_2,w) (但し(t,s)∈T) (∵合同の定義)
=(t+v_1+v_2,s+w)から
(t+v_1,s+w)+(t'+v_2,s'+w)の形
({(x,y)∈span(V×W);(x,y)≡(v_1,w) (mod T)}+{(x,y)∈span(V×W);(x,y)≡(v_2,w) (mod T)}の元)
に持っていけません。
どのように変形すればいいのでしょうか?
0542１３２人目の素数さん
2008/10/16(木) 21:34:48ココが既にまちがっとる
0543１３２人目の素数さん
2008/10/16(木) 22:19:39aがRの可逆元ならf(a)も可逆元になりますか？
多分ならないとは思うんですが(´･ω･`)
0544１３２人目の素数さん
2008/10/16(木) 22:29:460545１３２人目の素数さん
2008/10/17(金) 08:51:10f(a)f(a^-1)=f(a*a^-1)(∵環準同型の定義)=f(1)=1(∵環準同型の定義)
ですね。
(x,y)≡(v_1+v_2,w) (mod T)
から合同の定義より
(x,y)-(v_1+v_2,w)∈T
よって(x,y)=(t,s)+(v_1+v_2,w) (但し(t,s)∈T) (∵合同の定義)
と書けないのでしょうか?
0546１３２人目の素数さん
2008/10/17(金) 23:21:07> (但し(t,s)∈T)
これが既に致命的な間違い
0547１３２人目の素数さん
2008/10/18(土) 08:52:21>> (但し(t,s)∈T)
> これが既に致命的な間違い
Tの元はTの定義から
a(x'_1+x'_2,y')-a(x'_1,y')-a(x'_2,y')とb(x',y'_1+y'_2)-b(x',y'_1)-b(x',y'_2)とc(rx',y')-cr(x',y')とd(x',ry')-dr(x',y')
(但し,a,b,c,d∈R)の一次結合
a(x'_1+x'_2,y')-a(x'_1,y')-a(x'_2,y')+b(x',y'_1+y'_2)-b(x',y'_1)-b(x',y'_2)+c(rx',y')-cr(x',y')+d(x',ry')-dr(x',y')
つまり,
(ax'_1+ax'_2-ax'_1-ax'_2+bx'-bx'-bx'+crx'-crx'+dx'-drx',ay'-ay'-ay'+by'_1+by'_2-by'_1-by'_2+cy'-cry'+dry'-dry')
の形で書けますよね。間違ってますでしょうか?
0548１３２人目の素数さん
2008/10/18(土) 22:28:06「つまり」以降が致命的にまちがい
まったくつまっていない。
0549１３２人目の素数さん
2008/10/19(日) 03:11:07> 「つまり」以降が致命的にまちがい
> まったくつまっていない。
では
a(x'_1+x'_2,y')-a(x'_1,y')-a(x'_2,y')+b(x',y'_1+y'_2)-b(x',y'_1)-b(x',y'_2)+c(rx',y')-cr(x',y')+d(x',ry')-dr(x',y')
以降はどのように書けますでしょうか?
0550１３２人目の素数さん
2008/10/19(日) 03:24:35そんなこともわからずにテンソルテンソル言ってたんですか。
0551１３２人目の素数さん
2008/10/19(日) 03:29:03span(VxW)はそもそも単に形式和の定義されただけの
自由加群であって、スカラー倍すら定義されてないわけだが。
0552１３２人目の素数さん
2008/10/19(日) 18:34:12だからHomの性質からテンソルの性質が出てくる。
これを認識してないやつが多すぎる。
俺もこれを知って目から鱗
因みに代数やるやつ、っていうか数学やるやつは圏論の基礎を知らないと
話にならない。
0553１３２人目の素数さん
2008/10/19(日) 19:46:56というか平均的にはそっちのほうが多いかも。
0554１３２人目の素数さん
2008/10/19(日) 19:59:35それは無知なだけ。
昔は集合論を知らなくても数学は出来たというようなもん。
0555１３２人目の素数さん
2008/10/19(日) 20:03:10しかし、圏論は言葉という面もあるからね。
知らないやつと話すのはくたびれる、つーか話したくない。
0556１３２人目の素数さん
2008/10/19(日) 20:06:49定義と基礎的な定理、例えば米田の補題くらいなら1日で学べるくらい
簡単なんだから。
0557１３２人目の素数さん
2008/10/19(日) 20:37:42圏論の初学者向けの本教えてくれ
もちろん日本語の
0558１３２人目の素数さん
2008/10/19(日) 20:41:06>もちろん日本語の
甘えるな。
英語出来ない時点で数学はやる資格なし。
圏論より英語の勉強が先だ。
0559１３２人目の素数さん
2008/10/19(日) 20:43:030560１３２人目の素数さん
2008/10/19(日) 20:46:29日本人の誇りを失ったのか
0561１３２人目の素数さん
2008/10/19(日) 20:51:58ありがとう
0562１３２人目の素数さん
2008/10/19(日) 20:53:56アホか。
そういう問題じゃない。
数学の世界では英語が共通語なんだよ。
0563１３２人目の素数さん
2008/10/19(日) 20:55:20うるせえ
俺は英語厨とは断固戦う
外人には日本語を要求する
0564１３２人目の素数さん
2008/10/19(日) 20:58:33日本語は別の論理体系っぽい
0565１３２人目の素数さん
2008/10/19(日) 20:59:54勝手にすればいい。
その代り翻訳とかも読むなよ。
もとねたはお前の嫌いな英語なんだからな。
つーかカタカナ英語も使うな。
もとは英語なんだからな。
0566１３２人目の素数さん
2008/10/19(日) 21:04:17>日本語は別の論理体系っぽい
なこたあない。
論理が違ったら日本語で数学が出来ないことになる。
現実は問題なく出来てる。
0567１３２人目の素数さん
2008/10/19(日) 21:08:19いや、disjointという意味じゃなくて、
なんか＋αなのかねじれてるというか、
同形じゃない感じなんだよ。
ああ、この板で感じとかいうとﾌﾙﾎﾞｯｺにされそうだけどw。
0568１３２人目の素数さん
2008/10/19(日) 21:12:21>ああ、この板で感じとかいうとﾌﾙﾎﾞｯｺにされそうだけどw。
わかってるじゃないか。
論理なんて単純だから言語の違いなんて問題にならない。
A なら B とか、A かつ B とかな。
どこがむずいんだよ。
0569１３２人目の素数さん
2008/10/19(日) 21:12:42a → ∀
the → ∃
ってな感じで。
日本語でも表現はできるけど、意図的に意識してやってる感じなんだよね。
0570１３２人目の素数さん
2008/10/19(日) 21:18:55単なる記号だろ。
因みに a → ∀ じゃないだろ。
それを言うなら all → ∀
the → ∃じゃなくて exist → ∃
どこがむずいんだよ。
0571１３２人目の素数さん
2008/10/19(日) 21:21:53むずいとかの話じゃないんだけど、まあ個人的な感想の話だし、
これ以上やるとUAとかUGとかGGの話に飛びそうだから止めとくか。
そもそも板違いだしw。
0572１３２人目の素数さん
2008/10/19(日) 21:28:27>まあ個人的な感想の話だし、
逃げたなｗ
0573１３２人目の素数さん
2008/10/19(日) 21:34:37冠詞 総称表現 で ぐぐれ。 呆れた。
0574１３２人目の素数さん
2008/10/19(日) 23:10:35なんで冠詞が出てくるんだよ。
The lion is dangerous の the は all という意味もある。
■ このスレッドは過去ログ倉庫に格納されています