[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
919: 02/14(金)18:22 ID:vHlEN/cV(8/18) AAS
2chｽﾚ:math
> おサルの傷口に塩
自分の傷口に塩塗るマゾ
> ヒト「正則行列を知らない線形代数落ちこぼれ」
> サル「零因子行列のことだろ？知っているよ」
誤 零因子行列
正 零因子でない行列
日本語も正しく書けない池沼
>ヒト『正則行列の条件なら、「零因子行列でないこと」はアウトですね
> いかなる行列が零因子行列か述べる必要がありますから』
>ヒト『「０は乗法逆元を持たない」のつもりで
> 「零因子行列は乗法逆元を持たない」と書いて
> ケアレスミスだと言い張りたいんだろうけど』
零因子行列
⇔０を固有値にもつ
⇔行列式が０
⇔（ｎ×ｎの場合）ランクがｎ未満
上記の具体的な記述ができないのがサル
> 確かに、私の「正方行列の逆行列」は不正確な言い方ではあったが
不正確どころではなく、初歩的に間違った言い方
大学１年の線形代数が理解できていない証拠
大学１年の線形代数からやりなおせ サル
920: 02/14(金)18:25 ID:vHlEN/cV(9/18) AAS
>>917-918
どういうつもりか知らんが
正則行列の条件もわからんサルが
数学の天才になりようがないことは明らかなので
あきらめて囲碁将棋でもやってなさい
921(1): 02/14(金)18:29 ID:i5BpbTnB(1) AAS
>>917-918
コピペしても誰も頭良いとか数学分かってるとか思わないからもうやめなさい
922: 02/14(金)18:29 ID:vHlEN/cV(10/18) AAS
2chｽﾚ:math
> 列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・を、順序関係＜に置き換えて
> {}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・ として、整列集合と考えることができる
できない
{}∈{{}}∈{{{}}} だが
{}∈{{{}}} でない
集合の∈もわからんサルは
数学の天才になりようがないことは明らかなので
あきらめて囲碁将棋でもやってなさい
923: 02/14(金)18:32 ID:vHlEN/cV(11/18) AAS
>>921
> コピペしても誰も頭良いとか数学分かってるとか思わないからもうやめなさい
そもそも他人の文章を剽窃して利口ぶる根性がみっともない
こういう奴が会社で不正とかしまくるんだろうな
盗人猛々しいとはよくいったものである
関西にはこんな奴しかいないのか
関ケ原から西には行きたくないもんだ
924(1): 02/14(金)18:42 ID:vHlEN/cV(12/18) AAS
そもそも現代数学の系譜 雑談 ◆yH25M02vWFhP は何がしたいんだ
数学がわかりたいんなら、地道に論理を理解する以外なかろう
いくら言い訳しても仕方ないだろ
わかりもせんのにわかったと嘘つきたい？
そんなの不快なだけだからここですんなよバカ
925: 02/14(金)18:59 ID:vHlEN/cV(13/18) AAS
（参考）
【自己愛性パーソナリティ障害】職場に自己愛性パーソナリティ障害の人がいたら？【精神科医が6.5分で説明】パーソナリティ障害
動画ﾘﾝｸ[YouTube]
926(1): 02/14(金)21:35 ID:vHlEN/cV(14/18) AAS
【参考】
自己愛性パーソナリティ障害の有名人
外部ﾘﾝｸ:ja.wikipedia.org
自己愛性パーソナリティ（障害）を有していたとされる有名人には、
三島由紀夫、サルバドール・ダリ、ヘルベルト・フォン・カラヤンがいる。
927(1): 02/14(金)21:37 ID:vHlEN/cV(15/18) AAS
>>926の続き
三島由紀夫は対人関係に過敏で、貴族的な選民意識を持ち、妥協を許さぬ完璧主義者であった。
祖母に溺愛され、母との情緒的な繋がりを持ちにくかった三島は、
幼い頃にはケガをすると危ないという理由で
女の子だけを遊び相手に選ばれている。
文壇デビュー当時の思うように売れない時期から、
基底にある自己不確実感を覆い隠すように
ボクシングやウェイトリフティングという肉体鍛錬に没頭した。
またそのうるわしい肉体とは対照的に、
取り巻きなしでは飲食店に入ることすらできない
という過敏性を示している。
その後数々の傑作を生み出し隆盛を極めたものの、
40歳にもなると肉体的な老いを感じずにはいられなくなり、
痩せ衰えることを極度に恐れた。
やがて国家主義的思想に自らの在り方を重ねていった三島は、
劇的な自決により、美を保ったまま自らの人生に幕を下ろした。
928(1): 02/14(金)21:38 ID:vHlEN/cV(16/18) AAS
>>927の続き
サルバドール・ダリは様々な精神障害の特徴を示しているが、
その中核にあるのは歪なナルシシズムである。
自らを天才と言って憚らない自己顕示性と、奇矯な振る舞いの背後には、
ありのままの自分を認められずに過ごした生い立ちが関係している。
ダリには同じ名前の兄がいたが、2歳でその人生を閉じており、
ダリはその兄の写真を見る事を極度に恐れた。
両親の目の奥に、自分ではなく、死んだ息子への不毛な愛情を感じていたからである。
生涯にわたって自己喧伝の衝動に囚われ続けたダリは、
『私は自分自身に証明したいのだ。私は死んだ兄ではない、生きているのは私だ、と』
と綴っており、愛情面の傷つきからくる繊細な感性と、
誇大的とも言える自信は、創造的な営みの原動力となった。
929: 02/14(金)21:40 ID:vHlEN/cV(17/18) AAS
>>928の続き
ヘルベルト・フォン・カラヤンは世界最高の指揮者として「帝王」の名をほしいままにしたが、
その気性から数多くの問題を引き起こした。
カラヤンはメディアに掲載される自らの写真を全てチェックし、認めたもののみ公表を許すなど、
自分が最も理想的な姿で映し出されることを求めた。
1975年に不意打ちで写真を撮られた際にはカメラマンを殴りつけるという事件を起こしている。
またカラヤンは自らが貴族階級出身であることをあらわす「フォン」をつけて名乗ったが、
パスポートには「ヘルベルト・カラヤン」とだけ記されていたという。
幾度にも渡るベルリン・フィルハーモニーとの対立に示されるように、
カラヤンは少しでも意見を言う者や、従わないものには怒り狂い、徹底的に攻撃した。
世間の持つ「天才」、「帝王」という二枚目な「芸術家としてのカラヤン」と、
「人間カラヤン」を同じように評価することはできないと楽員は述べている。
930: 02/14(金)21:54 ID:vHlEN/cV(18/18) AAS
今日はここまで
931: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/14(金)23:38 ID:A0w3ECia(1) AAS
はい、あなた、鏡がここにありますｗ
はい、あなた、自分の姿が写っていますよ！ｗｗｗ ；ｐ）
932(2): 02/15(土)01:04 ID:tNB6oeTf(1/13) AAS
>>26
（引用開始）
(3(Zornの補題) ⇒ 1(選択公理))
{X_λ}_{λ∈Λ}を非空集合の族とする．
A := { g:Σ→∪_{λ∈Λ} X_λ | Σ⊂Λ, 任意のλ∈Σに対してg(λ)∈Xλ }
としてAに ⊂ で順序を入れる．B⊂Aを部分全順序集合とするとき ∪g∈B g ∈ A は B の上界である．
即ち A はZornの補題の仮定を満たす．故に極大元 f∈A を持つ．
もし dom(f)≠Λ であれば f が極大であることに反するので dom(f)=Λ となる．故に f は選択関数である．
（引用終了）
選択関数はAの元なんだから、Aがwell-definedなら選択関数の存在は自明だけどその証明が無いのでは？
933: 02/15(土)02:41 ID:hZwof9V4(1) AAS
>>924
わかりたい！
って意欲全然感じないよね
934(1): 02/15(土)03:03 ID:tNB6oeTf(2/13) AAS
>>26
（引用開始）
(3(Zornの補題) ⇒ 1(選択公理))
{X_λ}_{λ∈Λ}を非空集合の族とする．
A := { g:Σ→∪_{λ∈Λ} X_λ | Σ⊂Λ, 任意のλ∈Σに対してg(λ)∈Xλ }
としてAに ⊂ で順序を入れる．B⊂Aを部分全順序集合とするとき ∪g∈B g ∈ A は B の上界である．
即ち A はZornの補題の仮定を満たす．故に極大元 f∈A を持つ．
もし dom(f)≠Λ であれば f が極大であることに反するので dom(f)=Λ となる．故に f は選択関数である．
（引用終了）
この証明がまかり通るなら、
{X_λ}_{λ∈Λ}を非空集合の族とする．
A' := { g:Λ→∪_{λ∈Λ} X_λ | 任意のλ∈Λに対してg(λ)∈Xλ }
とする。存在例化により選択関数f∈A'が存在する。
でよくね？
935: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:39 ID:36YscTpw(1/27) AAS
というHNで書くことにした（笑）
> はい、あなた、鏡がここにありますｗ
> はい、あなた、自分の姿が写っていますよ！
それ、おめぇ
936(1): 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:43 ID:36YscTpw(2/27) AAS
【参考】
自己愛性パーソナリティ障害の治療
外部ﾘﾝｸ:tokyo-brain.clinic
自己愛性パーソナリティ障害の治療は難しいとされていますが、一定の効果があるとされる治療法がいくつかあります。
その人の気質や家族環境によっても症状が異なるため、以下のような方法を組み合わせて治療が行われます。
基本的にはどの方法も効果が表れるまで時間がかかります。
一般的には数年は必要とされています。
また、患者と治療者の間に信頼関係がなければ効果は得られないともされており、患者に相性のいい治療者を探すことも重要です。
937(1): 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:45 ID:36YscTpw(3/27) AAS
>>936のつづき
精神療法
カウンセリング療法
カウンセラーが患者さんの心理面に働きかけ、
患者さんの認知、思考、行動パターンなどの偏りを改善し、
少しずつ社会に適応できるようにしていく治療法です。
集団精神療法
集団精神療法は、同じ障害を持つ人が複数人集まり、
グループで話をしたり共同作業を行うことで
社会に適応できない原因を見つけて解決する方法です。
自分がどんな問題を抱えているのかを同じ障害を持つ他者から発見しやすく、
自分の行動の改善に繋がりやすいです。
また、他人との適切なコミュニケーションを学ぶことにも繋がり、
自己肯定感の向上にも寄与します。
家族療法
家族療法は、患者本人とともに
家族ぐるみで適切な対処法を工夫することで
症状や問題行動の解決を図るものです。
家族を問題の原因とするのではなく、
家族で問題にどう向き合っていくのかという方法です。
治療開始時には本人ではなく、
家族だけと相談を進めるケースもあります。
家族療法は患者が未成年の場合に行われることが多く、
成人している場合は患者自身が自立して
上記の集団精神療法などを行う傾向にあります。
938(1): 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:46 ID:36YscTpw(4/27) AAS
>>937のつづき
薬物療法
自己愛性パーソナリティ障害の患者は
他者からの指摘やマイナスの評価に耐えきれずに
抑うつ状態になりやすい傾向にあります。
そのため、抗うつ薬を使用して症状を緩和しつつ、
カウンセリングなどの治療を行うサポートをすることがあります。
その他、気分変動が大きい患者には
気分安定薬のリチウムやカルバムアゼピン、
バルプロ酸を使用することがあります。
939: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:48 ID:36YscTpw(5/27) AAS
>>938のつづき
TMS治療
アメリカでアメリカ食品医薬品局（FDA）の認可を受けている最新の治療法である
TMS治療（磁気刺激治療）も、パーソナリティ障害に有効だとされています。
パーソナリティ障害自体にTMS治療（磁気刺激治療）が有効であった
という論文が2019年に発表されています。
また、2016年にもTMS治療（磁気刺激治療）が
感情や衝動性のコントロールに有効であった
という報告があります。
アメリカをはじめ、欧米では普及している治療法ですが、
日本では一部の医療機関でしか治療ができません。
当院ではTMS治療を行っておりますので、
ご興味のある方はぜひお問い合わせください。
940: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:49 ID:36YscTpw(6/27) AAS
とりあえず ここまで
頑張って治療しようね セタ君
941(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/15(土)08:58 ID:XknlDm4+(1/10) AAS
>>934
>A' := { g:Λ→∪_{λ∈Λ} X_λ | 任意のλ∈Λに対してg(λ)∈Xλ }
>とする。存在例化により選択関数f∈A'が存在する。
1）存在例化は、下記 ja.wikipedia.org ＆ en.wikipedia.orgの意味と解していいかな？
もしそうならば、存在例化とは 新しい定数記号cを導入できること
”must be a new term”であること
「証明の結論部にも現れてはならない」”it also must not occur in the conclusion of the proof”
ってこと
2）ということは、存在例化で 記号cを導入することは、なんら新しいことを導入したのではなく
単に、証明を読みやすく 簡明にするために 「存在記号 ∃ を消す」 が、しかし 結論には影響しない！
ってことでは？
3）ならば、”存在例化により選択関数f∈A'が存在する”という上記陳述が
ナンセンスだと思うぜ
実際、解析概論でも、多変数関数論のテキストで良いが
「これが、存在例化でございます！」って、存在例化が威張っている証明ってあるかな？
（en.wikipedia では、”but its explicit statement is often left out of explanations”ってあるけど、所詮その程度のしろもの じゃないの？ｗ）
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
存在例化
存在例化（そんざいれいか、英: Existential instantiation, Existential elimination）[1][2][3]は、述語論理において、
(∃x)ϕ(x)
という形式を持った式が与えられると、新しい定数記号cについて
ϕ(c)を推論することができるという、妥当な推論規則のひとつである。この規則は、導入された定数cが、証明にはこれまで用いられてこなかった新しい項でなければならないという制約を有する。
また、証明の結論部にも現れてはならない。
外部ﾘﾝｸ:.org
Existential instantiation
In predicate logic, existential instantiation (also called existential elimination)[1][2] is a rule of inference which says that, given a formula of the form
(∃x)ϕ(x), one may infer
ϕ(c) for a new constant symbol c. The rule has the restrictions that the constant c introduced by the rule must be a new term that has not occurred earlier in the proof, and it also must not occur in the conclusion of the proof. It is also necessary that every instance of
x which is bound to
∃x must be uniformly replaced by c.
, but its explicit statement is often left out of explanations.
942: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:16 ID:36YscTpw(7/27) AAS
>>941
まず番号やめよっか 🏇🦌っぽいから
ヴィトゲンシュタインの論理哲学論考の真似？
🤢キモチワルイぞ
943: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:24 ID:36YscTpw(8/27) AAS
> 存在例化は、ja.wikipedia.org ＆ en.wikipedia.orgの意味と解していいなら
> 新しい定数記号cを導入できること
> ”must be a new term”であること
> 「証明の結論部にも現れてはならない」
> ”it also must not occur in the conclusion of the proof”
> ってこと
> 存在例化で 記号cを導入することは、
> なんら新しいことを導入したのではなく
> 単に、証明を読みやすく 簡明にするために
> 「存在記号 ∃ を消す」 が、しかし 結論には影響しない！
> ってことならば、
> ”存在例化により選択関数f∈A'が存在する”
> という陳述がナンセンスだと思うぜ
神戸のセタ君だっけ？
君の言ってることのほうがよっぽどトンでもだぜ
だって君は
「∃xP(x)だが、xにどんな具体的な項cを入れても P(c)を満たさないかもしれない」
っていってるんだぜ？
それって🏇🦌だろ？
944: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:33 ID:36YscTpw(9/27) AAS
> 実際、解析概論でも、多変数関数論のテキストで良いが
> 「これが、存在例化でございます！」
> って、存在例化が威張っている証明ってあるかな？
集合論のテキストでいいなら
「実数全体は整列可能である」
という主張の証明で、選択関数の例化を堂々と使っている
神戸のセタ君、前に尋ねたよな？
「どうやって具体的に実数を整列させるか、その方法を示せ」って
それは、つまるところP(R)-{{}}からどうやって元を選択するか示すことにつながるが
そこはまさに選択公理の関数fにかかる束縛∃から、存在例化によって
存在するはずの関数fを具体化させてるだけだが、君が考える具体的な関数なんて示しようがない
しかし、集合論ではそういう方法で証明がなされてるわけだ
神戸のセタ君、
「集合論は絵に描いた餅だ！
選択公理なんか成立しえない！
実数全体なんか整列できない！
非可測集合なんか存在しない！
箱入り無数目で確率１−εで勝つ戦略なんか存在しない！
常識で判断しろ！直感で判断しろ
一般人の常識万歳！工学屋の直感万歳！
集合論研究者は狂ってる！
カントルは狂ってる！ツェルメロは狂ってる！コーエンは狂ってる！」
ってわめくかい？
どうぞご随意に
945(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/15(土)09:35 ID:XknlDm4+(2/10) AAS
>>932
(引用開始)
>>26
（引用開始）
(3(Zornの補題) ⇒ 1(選択公理))
{X_λ}_{λ∈Λ}を非空集合の族とする．
A := { g:Σ→∪_{λ∈Λ} X_λ | Σ⊂Λ, 任意のλ∈Σに対してg(λ)∈Xλ }
としてAに ⊂ で順序を入れる．B⊂Aを部分全順序集合とするとき ∪g∈B g ∈ A は B の上界である．
即ち A はZornの補題の仮定を満たす．故に極大元 f∈A を持つ．
もし dom(f)≠Λ であれば f が極大であることに反するので dom(f)=Λ となる．故に f は選択関数である．
（引用終了）
選択関数はAの元なんだから、Aがwell-definedなら選択関数の存在は自明だけどその証明が無いのでは？
(引用終り)
それ >>26 外部ﾘﾝｸ[html]:alg-d.com が、元のリンクだね？ alg-d 壱大整域さんに質問しなよ、喜んでくれるだろう
それとは別に、他の証明と照らし合わせるのが良い、というか 常用のスジだ
下記 ”Zorn's lemma implies the axiom of choice”の証明で
集合族で 和集合”its union U:=⋃X”が一つのスジだ
それで、下記 関数 f:X→U を導入する。これが、最後 選択関数になるんだろう
Zorn's lemma に乗せるために、順序 ”It is partially ordered by extension; i.e.,”を導入する
で、この順序で ”The function g is in P and f<g, a contradiction to the maximality of f.”として 結局 fが極大で
即ち fが 選択関数だと
繰り返すが、上記 alg-d 壱大整域さん と 下記 en.wikipedia を見比べてみな
(参考)
外部ﾘﾝｸ:en.wikipedia.org
Zorn's lemma
Zorn's lemma implies the axiom of choice
A proof that Zorn's lemma implies the axiom of choice illustrates a typical application of Zorn's lemma.[17]
Given a set X of nonempty sets and its union
U:=⋃X
(which exists by the axiom of union), we want to show there is a function
f:X→U such that
f(S)∈S for each
S∈X. For that end, consider the set
P={f:X′→U∣X′⊂X,f(S)∈S}.
It is partially ordered by extension; i.e.,
f≤g if and only if
f is the restriction of g. If
fi:Xi→U
is a chain in P, then we can define the function f on the union
X′=∪iXi by setting
f(x)=fi(x) when
x∈Xi. This is well-defined since if i<j, then
fi is the restriction of fj . The function
f is also an element of P and is a common extension of all fi's. Thus, we have shown that each chain in
P has an upper bound in P. Hence, by Zorn's lemma, there is a maximal element
f in P that is defined on some X′⊂X. We want to show
X′=X. Suppose otherwise; then there is a set
S∈X−X′. As S is nonempty, it contains an element s. We can then extend
f to a function g by setting g|X′=f and g(S)=s. (Note this step does not need the axiom of choice.) The function g is in P and f<g, a contradiction to the maximality of f. ◻
946: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:43 ID:36YscTpw(10/27) AAS
ツェルメロによる選択公理は例えば集合論における濃度の比較可能性を保証する
しかし、そうしたところでカントルが提起し連続体の濃度の決定問題が
解決できるかといえばできない
コーエンはこのことを強制法で示した
集合論が壮大なマッチポンプだったのではないか？
という疑問に関しては正面から否定できないかもしれないが
少なくとも意図的なものではないし、結果論として
そういうことはしばしば起きるのだから
あとからイチャモンつけるのは🏇🦌ってもんだ
947: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:48 ID:36YscTpw(11/27) AAS
>>945
選択公理と整列定理の関係についていえば、Zornの補題を介さないほうが判りやすい
整列定理から選択公理を導くのは簡単である、整列順序における最小元をとればいいだけだから
選択公理から整列定理を導くのも、空でない部分集合の全体から要素を取り出す選択関数を使えばいいので簡単
両者とツォルンの補題の関係はもうちょっと面倒くさい
そもそも神戸のセタ君は、ツォルンの補題が何言ってるのか分かってないだろ？
948: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:50 ID:36YscTpw(12/27) AAS
> 他の証明と照らし合わせるのが良い、というか 常用のスジだ
でもどの証明も何言ってるのかわからんので、結局何一つわからん
というのが神戸のセタ君のお定まりのスジ
違うかい？ 図星だろ？
上下前次1-新書関写板覧索設栞歴
あと 54 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.028s