「物理数学の直感的方法」とかいう本

**ご冗談でしょう？名無しさん** · 2018/04/08(日) 10:39:14.09

読んだ人いる？
結構わかりやすかった。

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 16:44:17.73

馬鹿丸出し

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 16:46:29.29

ど素人

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 16:49:08.81

ここはチラシの裏だから間違ってはいないｗｗｗ
>俺は他人に理解させようとして書いていません。

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 16:58:52.90

>そういう(well-definedでありさえすれば)どうでもいいこと

はい、well-definedの意味を知らない馬鹿確定。

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 17:05:50.09

次元と完備性。微分幾何学。トポロジー。微分形式。正規性。平坦性。射影幾何学。冪級数。ワイヤストラスの準備定理。ホモロジー代数。加群の射影分解。
単射分解。双対概念。零因子。可換代数学。じゅん連接層加群。加群。切断。全単射。準同型。特別開集合。圏同値。可換代数学。標準定理。アファイン開集合。
開アファイン被覆。準連接。テンソル積。離散付値環。相対微分の層。環準同型。二重双対。ベクトル空間。商体。素イデアル。有限次分離拡大。座標環。
アファインスキーム。ネーター的。既約成分。ネーター的スキーム。連接。有限個。埋没成分。階数。ベクトル束。射。自己同型。ベクトル束。線型関数。中山の補題。接錐。

暫定的な定義。決定的な定義。平面曲線。重複度。結節点。同次座標。ブローアップ。単項変換。視覚化。例外因子。代数多様体。双有理射。
射影接錐。同型。二重直線。接空間。不変。余接空間。非特異点。多様体。線型汎函数。閉点。共変函手。反変函手。転置写像。商加群。線型写像。
アファイン開近傍。エタール射。陰関数定理。エタール。ファイバー。スキーム。ファイバー積。幾何学的ファイバー。ヘンゼルの補題。局所準同型。中山の補題。代数閉体。
エタール射。
微分幾何学。複素解析幾何学。多様体。特異点。代数幾何学。一意化変数。一意分解整域。分解的。閉点。セベリ。アウスランダー。ブッフスバウム。コホモロジー。
ネーター整域。ネーター的スキーム。同型射。正規。正規点。整閉なネーター環の構造定理。離散付値環。余次元。非特異。純性定理。正規代数多様体。
多様体の包含関係。双有理同値。双有理射。座標環。正規。閉部分多様体。連結性定理。分解的。ガニング・ロッシ。平坦射。可換代数学。平坦射。
稠密開集合。アファイン開集合。アファイン超曲面。分岐点集合。幾何学的ファイバー。本質的な特徴付け。エタール射。滑らか。図式。
極大イデアル。

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 17:07:55.46

>>451
どうでもいいですけど、こういう馬鹿って毎日何か少しでも進歩してるの？

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 17:11:17.34

>>447
>いずれにせよ言葉の定義や問題の設定など各自が自由に行えばいいだけです。

しかし、普通と異なる定義を使ったら、それを書かないといけない。

>ものを知らないくせに人にものを教えてやろうとする人間

それはお前自身のことだろ？

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 17:13:10.36

>>453

well-definedって何か理解してる？

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 17:36:14.72

複素解析的な形。代数的な形。数論的な場合を割愛。タイヒミュラー空間。トポロジー。K理論。可換代数学。代数群。代数的整数論。代数曲線。複素数体。代数多様体。代数曲線。
コンパクトなリーマン面。種数。アファイン座標。
ペー関数。埋め込み。分岐点。
モジュライ空間。アファイン直線。準射影代数多様体。ホモトープ。タイヒミュラー空間。複素構造。単有理的。タイヒミュラー計量。
アラケロフパーシンマニングラウエルトの剛性定理。シャファレビッチモーデル予想。微分形式。小平消滅定理。
ヤコビ多様体。アーベル。加法定理。アーベルの定理。平行移動不変。微分。ヤコビ多様体。コンパクト。複素トーラス。双対定理。ガウス写像。
アーベル化。具現化。アーベル被覆。線型同値。ブローアップ。超楕円的。行列式的多様体。テータ関数。レフシェッツの埋め込み定理。既約。埋め込み写像。
不変量。テータ零値。等質空間。一意分解性。
トレリの定理。ショットキー問題。主偏極。ユニモジュラー。像の特徴付け。同型。シンプレクティック行列。ジーゲル上半空間。
タイヒミュラー空間。既約。非特異。テータ。偶関数。二重平行移動型。平行移動型。超楕円的。解析曲線の芽。アーベル多様体。プリム多様体。アーベル被覆。
対合変換。クンマー多様体。小平スペンサー写像。

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 17:37:48.31

馬鹿が湧いてて楽しいな笑

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 17:57:53.53

>>447
他人に理解できないことを掲示板に書く行為は単なる荒らしでは？
便所の落書きと言えども公共性があるんですから、
メモ帳なり自分のブログなりでやるべきだと思います

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 17:58:50.85

>>363
>8：省略。

この該当箇所は、「命題2.3.3 (部分群の共通集合) H1，H2 が群 G の部分群なら，H1∩H2 も G の部分群である．」
本では証明が省略されている。自分で証明することはできなかったんだな。

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 18:06:52.63

解答も写経かよw

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 18:24:19.44

ヒント

371 名前:ご冗談でしょう？名無しさん [sage] :2018/06/11(月) 06:43:29.90 ID:???
>>368-370
問題も解答もコピペだから、コピペ元では説明されてるんでしょう。

>>339
>これらは本文を構成する「命題」とその簡単な「ex.」です。「うるさくて仕方ないから演習の体で教科書を1冊読もう」と考えたわけです笑

＞問題も解答もコピペだから、コピペ元では説明されてるんでしょう。
＞問題も解答もコピペ
＞コピペ

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 18:37:14.14

解答です。
26：S={xi}とするとG1はxi^(±1)。後は準同型の定義式に代入して、φ1=φ2が示される。

27：
(1)→(2)。g∈Ker(φ)→φ(g)=1G2=φ(1G1)
φは単射であるからg=1G2。よってKer(φ)={1G1}。
(2)→(1)。g, h∈G1かつφ(g)=φ(h)→φ(g h^-1)= 1G2。よってg h^-1∈Ker(φ)=1G1。∴ g=hが示されたので単射である。

28：g1, g2∈G, h∈Gに対して
φ(g1g2)(h)=i(g1g2)(h)= (g1g2)(h)(g1g2)^-1
=i (g1)(i(g2)(h))= φ(g1)φ(g2)(h)。よってφは準同型。

29：∀x, ∃yに対してxy=yx=1Aとなる。
群の準同型の定義式に入れるとφ(A^×)⊂B^×が分かる。
同様にφがA^×→B^×に関して群の準同型を引き起こすことも分かる。

30：どれも明らか。
(1)推移律と対称律。
(2) 集合の包含、C(x)⊂C(y)かつC(x)⊃C(y)を示す。
(3) z∈C(x)∩C(y)を考える。

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 18:50:18.36

>>459
なんでこんな馬鹿を相手にしなくちゃならないのかな笑
こんな簡単な問題の解答が欲しいとか、いい加減にしてもらいたい。

では解答です。
8：∀a,b∈H1∩H2とする。
a,b∈H1よりab^-1∈H1、同様にa,b∈H2よりab^-1∈H2。
よってab ^-1∈H1∩H2となるからH1∩H2はGの部分群である。

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 18:56:33.18

でも馬鹿な人たちが俺の粗探しをしてくれるお陰で自分を振り返ることができて有益です(馬鹿な人たちなのでポイントを外してるけどね。その辺は俺自身が修正して自分に生かしていくしかないです)。

こういうカスな人たちを少しでも「自分の養分」にできる掲示板って素晴らしいですね。

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 18:59:20.80

>>458
レス貰ってるのであなたともあなた以外の人たちとも、コミュニケーションは最低限行われているようです。

あなたのレスのような低レベルの常識の押し付け、馬鹿馬鹿しくて嬉しいです。ありがとです。

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 19:17:12.50

>>463
ほう、解けるのか。
これよりも簡単な問題を写経することに労を惜しまないから、この問題は解けないものとばかり思ったわw

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 19:22:30.26

自分のノートだけでせず
掲示板に写経する理由を教えてくれ

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 19:30:27.07

>>466
おっと、どうもありがとう。

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 19:56:07.96

結構厄介な荒らしだな、こいつ

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 20:29:01.98

2次式と素数。平方剰余。素因数分解。平方数倍。有限個の素数。2または1。平方剰余の補充法則。ガウスの整数環。一意分解整域。単項イデアル整域。有理整数環。
トレース。ノルム。平方数。約数。因数。単数群。乗法群。基本単数。最小正整数解。ペル方程式。基本単数。同伴。同値関係。既約。有理整数環。単元。既約元。
多項式環。既約多項式。素元。整域。素イデアル。単項イデアル整域。素元。既約元。生成される。単項イデアル。一意分解整域。素元分解整域。
ガウスの整数環。格子点。単項イデアル整域。絶対値最小。整域。格子点全体。イデアル。デデキント整域。2次体の整数環。素イデアル分解。
単項イデアル。一意性。デデキント整域。倍イデアル。約イデアル。割り切る。2次体。平方因子を含まない。自己同型写像。トレース。ノルム。代数的数。代数的整数。整数環。
自由加群。判別式。デデキント整域。単項イデアル。共役イデアル。剰余環の位数。ノルム。素イデアル。素数。素イデアル分解。
完全分解する。分岐する。判別定理。惰性する。アルティン記号。整数環。単項イデアル整域。デデキント整域。単項類。単位類。イデアル類。単項イデアル。
類数。単項イデアル整域。素イデアルの積。ミンコフスキーの定数。完全分解。

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 20:53:53.96

代数的数。R-加群。ベクトル空間。部分加群。有限生成。基底。階数。次元。代数的閉包。多項式環。単項イデアル。生成される体。
最小多項式。次数。添加した体。代数的整数。既約分数。整数。有理整数。加群。整閉包。代数体。数体。拡大次数。整数環。整数基。モジュラー変換。共役数。実共役。実共役体。
虚の共役体。トレース。ノルム。恒等写像。共役写像。自己同型写像。最小多項式。共役元。判別式。平方因子。整数基。ミンコフスキーの定理。アイゼンシュタインの定理。
デデキント整域。分数イデアル。整イデアル。単項イデアル群。イデアル類群。イデアル類。類数。単数群。ディリクレの単数定理。基本単数系。単数基準。分岐指数。上にある。
不分岐である。自然な単射準同型。埋め込み写像。次数。
デデキントの判別定理。完全分解する。最小多項式。円分多項式。
素イデアル分解。共役写像。ガロア拡大。自己同型写像。自己同型群。ガロア群。恒等写像。ガロア群。位数。巡回群。ガロア拡大。置換群。対称群。中間体。
ガロアの基本定理。不変体。正規部分群。剰余類の積。剰余類群。正規部分群。ガロア拡大。中間体。アーベル群。アーベル拡大。円分体。円分多項式。複素共役写像。
ガロア対応。ガウスの和。有限体。共役イデアル。分解群。右剰余類。自己同型写像。拡大次数。ガロア拡大。フロベニウス写像。フロベニウス自己同型。
惰性群。巡回群。ゼータ関数。L‐関数。デデキントのゼータ関数。解析関数。リーマンのゼータ関数ζ。ベルヌーイ数。整数環。単項イデアル整域。位数。ディリクレ級数。
類数公式。オイラー積。無限積表示。惰性。分岐。完全分解。リーマンζ関数。アルティンゼータ関数。アルティン記号。ヤコビ記号。アルティン指標。アルティンゼータ関数。
剰余類。判別式。原始的ディリクレ指標。素判別式。
互いに素。アルティン指標。ディリクレ指標。平方剰余記号。ヤコビ記号の相互法則。原始的ディリクレ指標。アルティン指標。ディリクレのL‐関数。類数公式。

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 21:04:16.60

>>469
数学の経験はなくて計算機系だろ

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 21:10:45.26

支那竹

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 21:33:25.15

楕円モジュラー関数。複素関数論。代数学。幾何学。類体論。楕円曲線論。保型関数論。アーベル多様体論。超越数論。2次無理数。実2次無理数。虚2次無理数。
複素共役。複素上半平面。特殊線型群。モジュラー群。一次分数変換。モジュラー変換。完全代表系。基本領域。モジュラー変換。2次無理数。
判別式。類数。簡約された。2次無理数。分数イデアル。惰性モジュラー関数。解析関数。惰性モジュラー関数。複素リーマン球面。解析的同相。
対等関係。虚2次無理数。同値類。部分和。虚数乗法。類多項式。代数的整数。有理整数環。類多項式。虚2次体。判別式。惰性モジュラー関数。イデアル類群。類多項式。
ガロア拡大。アーベル群。部分群。中間体。ガロア対応。素イデアル。不分岐。素イデアル。単項イデアル。絶対類体。基本定理。存在定理。ヒルベルト類体。不分岐アーベル拡大。
同型定理。相互法則。アルティン記号。ヒルベルト類体。素イデアル。単項イデアル。完全分解。楕円モジュラー関数。ガロア拡大。判別式。アーベル群。モジュラー群。モジュラー変換。
モジュラー関数。
不定方程式。楕円曲線。数論。代数幾何学。保型関数論。有理点群。ガロア拡大。ゼータ関数。保型形式。虚数乗法。
楕円曲線。判別式。射影平面。
加法公式。2倍公式。定義されている。有理点。楕円曲線。モーデルヴェイユの定理。楕円曲線。有理点群。有限生成アーベル群。n等分点。
接線。巡回群。直積。同型。三等分方程式。有理数係数多項式。同種写像。同型写像。準同型写像。楕円曲線。同型。逆写像。自己準同型環。虚数乗法。部分環。自己準同型写像。
加法公式。虚数乗法。楕円曲線。不変量。無限遠点も付け加えて考える。位数nの巡回群の直積と同型。同種写像。虚2次体。整数環。

**ご冗談でしょう？名無しさん** · 2018/06/16(土) 22:04:33.42

超楕円曲線。ヤコビ多様体。代数曲線。楕円曲線。ワイエルシュトラスの標準形。超楕円関数体。有理関数体。2次拡大体。超楕円曲線。楕円曲線。代数的閉体。無限遠点。
複素射影直線。被覆空間。共役点。有理関数。有理関数体。局所助変数。正則。極。零点。有限個。通常点。因子。次数。準同型。全射。写像。核。部分群。整因子。正の因子。
主因子。重複度。位数。主因子群。剰余群。因子類群。因子類。標準因子。微分因子。通常点。分岐点。微分類。
標準類。種数。楕円曲線。リーマンロッホの定理。ヤコビ多様体。因子類。リーマンロッホの。因子。種数。超楕円曲線。ヤコビ多様体。全射。整因子。全射。
楕円曲線。単射。有理関数。全単射。ヤコビ多様体。自然な加法。ヤコビ多様体の加法公式。有理点。モーデルファルティングスの定理。ヤコビ多様体。自己同型。有理点。
有限生成アーベル群。

**ご冗談でしょう？名無しさん** · 2018/06/17(日) 00:15:11.96

速読だなあ

**ご冗談でしょう？名無しさん** · 2018/06/17(日) 00:54:53.75

三段論法を用いる任意の数学の証明は、三段論法を用いない別証明を持つことを示せ

**ご冗談でしょう？名無しさん** · 2018/06/17(日) 20:11:09.75

無視されて悲しい気持ちを示せ

**ご冗談でしょう？名無しさん** · 2018/06/18(月) 02:52:34.31

>>477
> 三段論法を用いる任意の数学の証明は、三段論法を用いない別証明を持つことを示せ

それはGentzenのLKにおけるカット消去定理を念頭においてのつもりなんだろうが
非論理的公理（つまり普通の意味での数学の公理、例えばPeanoの算術の公理など）を論理の演繹体系（例えば古典論理のLK）に追加すると
カット消去定理は一般には成立しないので、君の上の主張も成立するとは限らない

**ご冗談でしょう？名無しさん** · 2018/06/18(月) 08:48:12.81

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 12:13:47.89

結局パイ刷り君だったのかな

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 14:46:21.57

>>480
三段論法はsyllogismでmodus ponensとは別物だよ
そしてsyllogismは本来は述語論理で考えるべき代物だが命題論理でそれに相当する演繹方法がcut

だから命題論理について議論する際にcutのことを三段論法と呼ぶのは許されるが
modus ponensは全くの別物なので後者を「三段論法」呼ばわりは明確な間違い

ついでに言えば君の言ってる「同じこと」というのは古典論理では成立するHerbrandの演繹定理のことね

論理に関する用語を使う前にそれら定義をもう少しきちん勉強したまえ

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 17:39:38.81

位相同型。ホモトピー同値。トーラス。メビウスの帯。閉曲面。クラインの壺。セル複体。基本群。ホモトピー群。ホモロジー群。コホモロジー群。ファイバー束。
ベクトル束。スペクトル系列。特性類。可換群。巡回群。位相幾何。位相同型。ホモトピー同値。位相同型。位相空間。連続写像。位相同型写像。同相写像。恒等写像。
全射。単射。全単射写像。ホモトピー同値。連続写像。ホモトピック。ホモトピー。三辻交差点。ホモトピック。ホモトピー類のなす集合。ホモトピー集合。ホモトピー同値。
ホモトピー同値写像。位相空間。位相同型。ホモトピー同値。位相空間対。位相同型写像。位相空間対。ホモトピー論。ホモトピック。連続写像。ホモトピー集合。
セル複体。位相空間。基本的な空間。n次元球体。n-1次元球面。積空間。商空間。位相空間。位相同型。ドーナツ。トーラス。位相同型。商空間。位相同型。
メビウスの帯。商空間。実射影平面。実射影空間。商空間。位相同型。和空間。接着空間。共通部分。位相同型写像。接着空間。接着写像。定値写像。位相同型。埋め込み。
トーラス。閉曲面。向き付け可能な閉曲面。種数。セル複体。閉セル。縁付きセル。位相同型。接着空間。有限セル複体。連続写像。接着写像。接着空間。切片。
自然な同一視写像。特性写像。セル複体。恒等写像。実射影平面。セル複体。トーラス。セル複体対。位相空間。セル複体。位相空間対。セル複体対。

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 18:03:41.03

基本群。ホモトピー群。ホモトピー集合。位相空間対。ホモトピック。連続写像。基点を持った位相空間。基点。ホモトピー集合。位相同型。定値写像。回転数。
ホモトピック。ホモトピー集合。連結な位相空間。群構造を入れる。基本群。ホモトピー群。同型。セル複体。有限生成。可換群。無限巡回群。有限巡回群。直和。同型。基本群。
基点を持った位相空間。ホモトピック。位相同型。連続写像。ホモトピー類。1次元ホモトピー群。基本群。単連結。複素平面。正則関数。コーシーの積分定理。単位元。
ホモトピー。逆元。反転。ホモトピー。回転数。4辻交差点。自由群。ホモトピー類。位相同型。平行移動。ホモトピー群。位相同型。ホモトピー群。可換群。
定値写像。回転。ホップの写像。ファイバー束。射影。ホモトピー群。ホモトピー不変性。位相空間対。ホモトピー類。群準同型写像。ホモトピー同値。ホモトピー群。ホモトピー不変性。
連結。位相空間。等質的。多様体。位相同型写像。位相空間。位相同型。ホモトピー同値。セル複体。群の同型。ホモトピー同値。連結な位相空間。基本群。単位元。単連結な空間。ホモトピー群。
実射影平面。2人用浮き袋。
ホモロジー群。単体的複体。ホモロジー群。ホモロジー群。可換群。ホモトピー同値。位相同型。ホモロジー群。位相不変量。ホモロジー群。
アーベル群。巡回群。普遍係数定理。ホモロジー。ホモロジー群。包含写像。位相空間対。完全系列。セル複体。連続写像。準同型。恒等写像。境界準同型。
連結準同型。切除公理。完全公理。次元公理。ホモロジー群の係数群。セル複体対。ホモロジー群。一般ホモロジー。K理論。位相空間対。恒等写像。ホモトピー不変性。ホモトピー同値写像。
商空間のホモロジー。セル複体対。積空間。定値写像。ホモトピー同値。和空間。ホモトピー。複体対。位相空間対。ホモトピー同値。切除公理。簡約ホモロジー群。ホモトピー群と違う。完全系列。準同型。単射。
簡約ホモロジー群。位相空間対。簡約ホモロジー群。連続写像。境界準同型。制限。簡約ホモロジー群。球面のホモロジー群。ホモトピー同値。ホモロジー群。
切除公理。位相空間対。商空間。位相同型。位相空間対。簡約ホモロジー群。埋め込み。次元公理。位相同型。ホモトピック。図式追跡。三対のホモロジー完全系列。
可換図式。特異ホモロジー群論。チェックのホモロジー論。

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 18:07:42.34

>>482
どれもLKの用語ではないですね
もうちょっと頑張りましょう

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 18:16:17.76

有理整数環。自然数。整数。代数的整数。有理整数。倍数。約数。偶数。奇数。単数。自明な約数。素数。合成数。単数・素数・合成数。素因数。素因数分解。
素数は無限に多く存在する。素数定理。アダマール。ドラヴァレプサン。有理整数環。倍数。約数。単数。素元。結合律。零元の存在。逆元の存在。
可換律。結合律。単位元の存在。可換律。分配律。可換環。有理整数環。整数環。整域。除法の原理。可換環Rの空でない部分集合。イデアル。単項イデアル。単項イデアル環。
有理整数環は単項イデアル環。
公倍数。イデアル。最小公倍数。公約数。イデアル。最小の単項イデアル。最大公約数。互いに素。素因数分解の一意性。帰納法。符号。指数。
最大公約数と最小公倍数。一次不定方程式。イデアル。整数解。イデアル。ユークリッドの互除法。アルゴリズム。行列。逆行列。可換環。単項イデアル環。素因数分解の一意性。不定方程式を解く。互いに素。ユークリッドの互除法。

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 18:24:55.48

合同式。代数的整数論。代数的整数。有理整数環。合同関係。等差数列。2次式に現れる素数。合同式。法。合同である。合同式。余り。
合同式を解く。不定方程式。連立合同式。不定元。中国の剰余定理。孫子の剰余定理。連立合同式。無数に存在する。有限個しかないと仮定して背理法。
ディリクレ。オイラーの関数。等差数列。素因数分解。フェルマーの小定理。二項展開。フェルマーの小定理の逆は成立しない。互いに素。フェルマーの小定理の対偶は合成数判定に際して有用。
連立合同式。等差数列。無数の素数。フェルマーの小定理。カーマイケル数。

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 19:17:34.93

これからは問題を書かずに解答だけ書くことにします。

31：(1)α:G/H→G＼H、α(gH)=Hg^-1、
β: H＼G→G/H、β(Hg)=g^-1H、と定義する。
α、βは共にwell-definedであることが分かる。
αとβは互いに逆写像であるから共に全単射である。
従って|G/H|=|H＼G|。
(2)φ:H→gH、h∈H→gh∈gHと定義する。
h1, h2∈Hかつgh1=gh2→ h1=h2となるので
φは単射である。
全射であることは明らかなので全単射である。
従って|gH|= |H|。同様に |Hg|=|H|。

32：ラグランジュの定理の証明。
完全代表系{xi}を取るとG=[➕]xiHである (直和)。
∀i, |xiH|=|H|であるから|GI=(G:H)|H|。

33：
(1) (G:H)∈Zであるから
ラグランジュの定理|GI=(G:H)|H|より
|H| | |GI。
(2)Hをgで生成される群とすると|H|=gの位数。
ラグランジュの定理|GI=(G:H)|H|より
|H| | |GI。

34：Hをx∈Gで生成される群とすると
ラグランジュの定理|GI=(G:H)|H|より
|H| | |GI。
x≠1Gなので|GI=pより|H|=pとなる。
元の個数が等しいのでH=G。

35：フェルマーの小定理の証明。
(Z/pZ)^×は元の個数がp-1の群なのでx'^(p-1)=1'。
よってx^(p-1)≡1 modp。

36：
p|xでない→フェルマーの小定理より成り立つ。
p|x →常に成り立つ (両辺とも0)。(証明終)

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 20:22:27.28

剰余環。可換環。イデアル。剰余環。フェルマーの小定理。剰余環。単元群。既約剰余類群。有限群。抽象代数。剰余類群。有理整数環。イデアル。合同類。剰余類。
可換環。零元。単位元。剰余環。整域。零因子。合成数。素数。整域。可逆。体。可換環。零元以外が可逆。有理数体。実数体。複素数体。剰余環。体である。最大公約数。可逆。
位数。有限体。準同型写像。同型写像。逆像。核。カーネル。イデアル。剰余環。合同である。
反射律。対称律。推移律。合同類。剰余類。完全代表系。和と積。可換環。環の全射準同型写像。準同型定理。直積集合。和と積。環。単位元。直積環。
準同型写像。全射。同型写像。素因数分解。環の直積。既約剰余類。互いに素。剰余類。既約剰余類。剰余環。イデアル。既約剰余類。乗法。群。結合律。単位元の存在。逆元の存在。
可換。アーベル群。加群。位数。有限群。有限アーベル群。既約剰余類群。可逆元。単元。単元群。既約剰余類群。剰余環。単元群。既約剰余類群。位数。オイラーの関数。
互いに素。直積集合。直積群。準同型写像。同型写像。同型。単元群。部分群。自明な部分群。位数。巡回群。ラグランジュ。既約剰余類群。ラグランジュの定理。オイラーの関数。
ラグランジュの定理。合同式。フェルマーの小定理。既約剰余類。mod8。生成される部分群。有限生成。有限生成アーベル群の基本定理。巡回群。
不変数。タイプ。巡回部分群。直積と同型。単位元。体。有限体。可換環。部分体。拡大体。有限次拡大。基底。拡大次数。2次拡大体。基底。有限体。標数。標数0。二項展開。
帰納法。有理整数環。準同型写像。素体。単射。多項式環。
次数。剰余の定理。割り切れる。因子。因数。多項式環。単元群。可逆元全体。0でない定数全体。可約。既約。既約多項式。
既約分解。因数分解。単多項式。モニック多項式。既約分解。零点。解。根。重根。重複根。単根。重複度。代数的閉体。既約分解。n乗根。原始n乗根。位数n。巡回群。φ(n)個ある。

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 20:22:49.77

乗法群。有限部分群。巡回群。有限アーベル群の基本定理。巡回群。乗法群。巡回群。生成元。原始根。有限次拡大。拡大次数。素体。標数。有限体。ラグランジュの定理。
円分多項式。有限体。既約剰余類群。乗法群。ラグランジュの定理。原始n乗根。円分多項式。位数。直和集合。単多項式。モニック多項式。代数的整数。有限体。準同型写像。
既約。準同型写像。単多項式。既約。可換環。イデアル。剰余環。既約剰余類群。単元群。オイラーの関数。標数pの体。乗法群。巡回群。原始根。生成元。原始n乗根。円分多項式。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 00:17:07.72

平方剰余の相互法則。代数的整数論。類体論。有限体。ガウス和。相互法則。平方剰余記号。ヤコビ記号。平方剰余記号。ディリクレ指標。円分体の理論。
平方剰余。奇素数。互いに素。平方剰余。合同式。平方非剰余。平方剰余記号。ルジャンドル記号。剰余類。平方剰余。平方非剰余。既約剰余類。剰余環。位数。有限体。
既約剰余類群。乗法群。位数。巡回群。生成元。原始根。既約剰余類。奇素数。原始根。互いに素。平方剰余。平方非剰余。原始根。フェルマーの小定理。原始根。オイラーの規準。
奇素数。原始根。平方剰余。素因数分解。第1補充法則。第2補充法則。相互法則。第1補充法則。第2補充法則。mod4とmod8。相互法則。奇素数。mod4。奇素数。mod4。
大きな素数に関する平方剰余記号の値。オイラーの規準。有限体。平方根。既約。2次拡大。オイラーの規準。それぞれ√-1, √2, √q∈Fp。第1補充法則、第2補充法則、相互法則。
ガウス和。相互法則。原始三乗根。円分多項式。判別式。mod 3。奇素数。平方剰余。有限体。拡大体。平方根。
q乗根の和と差。標数pの体。場合分け。mod5。相互法則。
奇素数。有限体。平方剰余記号。ガウス和。展開する。第1補充法則。
相互法則。ガウス和の平方。符号。標数。符号。ガウス。複素上半平面。ヤコビ記号。平方剰余記号。奇素数。正の奇数。平方剰余記号。ヤコビ記号。
平方剰余記号。合同式。素因数分解。素因数。ヤコビ記号。ヤコビ記号は平方剰余記号に非常に似た性質を持つ。第1補充法則、第2補充法則、相互法則が成り立つ。
平方剰余記号。相互法則。第2補充法則。相互法則。相互法則。第2補充法則。平方剰余記号。素因数分解。相互法則。第2補充法則+相互法則。平方剰余記号。ヤコビ記号。
偶奇性。平方剰余。平方非剰余。有限体。乗法群。位数。巡回群。準同型写像。相互法則。第1補充法則。第2補充法則。平方剰余の相互法則。ヤコビ記号。平方剰余記号。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 00:44:23.05

ディリクレ指標。平方剰余記号。乗法的性質。アーベル群の指標。平方剰余記号。ヤコビ記号。既約剰余類群の指標。代数的整数論。解析的理論。既約剰余類群の指標。
有理数体。指標の理論。ディリクレ指標。ディリクレ指標。複素数。ディリクレ指標。単位指標。恒等指標。奇素数。平方剰余記号。ディリクレ指標。ヤコビ記号。ディリクレ指標。
mod2。mod4。剰余類。ディリクレ指標。剰余類。剰余環。ディリクレ指標。既約剰余類。剰余類。既約剰余類。複素数。写像。既約剰余類群。乗法群。準同型写像。アーベル群。複素数。
乗法群。準同型写像。指標。既約剰余類群。準同型写像。ディリクレ指標。既約剰余類群。指標全体。一対一。積もディリクレ指標となる。ヤコビ記号。ディリクレ指標。
単位指標。複素共役数。ディリクレ指標。単位指標。アーベル群。単位元。逆元。単位指標。ディリクレ指標。群。位数。巡回群。単位元。ディリクレ指標。
直積。ディリクレ指標。既約剰余類群の指標。有限アーベル群の指標。複素数の乗法群。準同型写像。指標群。単位元。単位指標。逆元。位数。ラグランジュの定理。
有限生成アーベル群の基本定理。有限巡回群。位数。原始n乗根。指標。指標群。位数。単位指標。同型。アーベル群。直積群。指標群。同型。
準同型写像。単位指標。単射。全射。同型写像。有限アーベル群の指標群。基本定理。同型。巡回群。直積。既約剰余類群。準同型写像。指標群。オイラーの関数。アーベル群。
素因数分解。直積分解。既約剰余類群。アーベル群。
生成元。奇素数。ヘンゼルの補題。位数。巡回群。位数。既約剰余類群。ディリクレ指標。互いに素。ディリクレ指標群。原始根。生成元。原始的ディリクレ指標。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 00:44:43.34

導かれた指標。制限。単位指標。恒等指標。素因子。導かれた指標。法dで定義される。導手。原始的。原始的ディリクレ指標。指標の分解。剰余環。直積分解。
ディリクレ指標。素因数分解。原始的指標。ガウス和。平方剰余記号。ガウス和。標数が0でない場合。非原始的。導手。単位指標。原始的。非原始的。原始的指標。
ヘンゼルの補題。整数係数の多項式。合同。自然な全射。環の準同型写像。単多項式。ヘンゼルの補題。積として分解。有限体。準同型。互いに素。多項式環。
ユークリッドの互除法。帰納法。単多項式。除法の原理。単多項式。整数係数の単多項式。ヘンゼルの補題。奇素数。平方剰余。合同式。ユークリッドの互除法。
多項式環。単多項式。最大公約式。除法の原理。可換環。最大公約式。単項イデアル環。単項イデアル。最大公約式。ユークリッドの互除法。ディリクレ指標。
既約剰余類群。指標。有限アーベル群。複素数。乗法群。準同型写像。指標。アーベル群。既約剰余類群。素数冪。巡回群。直積。ディリクレ指標。真の約数。原始的。ガウス和。
整数係数の単多項式。互いに素。積に分解。単多項式。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 11:44:43.45

>>485は意味不明だね
そもそも三段論法という言葉の正しい使い方を論じている時点でLKとは別の話なんだが、君それも理解できてないの？

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 11:46:43.65

>>494
てか、あなたは、ググって出てきた単語並べてるだけなので話が全く理解できないんですけど

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 19:11:26.80

セル複体のホモロジー群。セル。チェイン。境界作用素。輪体。像。群。単体的複体。ホモロジー群。位相空間。
セル複体のホモロジー群。完全系列。可換群。準同型。セル複体。n次元球面。商空間。ブーケ。切除公理。帰納法。セル複体。位相空間。完全系列。自然な包含写像。
ホモロジー群。切片。チェイン複体。ホモロジー群。可換群。準同型。チェイン複体。境界作用素。完全系列。ホモロジー群。輪体群。境界輪体群。サイクル群。
ホモロジー群。自然な同型。チェイン複体。可換な図式。単射性。チェイン複体。境界作用素。直和。結合係数。セル複体のホモロジー群。結合係数。準同型。特性写像。
逆写像。単射準同型。包含写像。正則なセル複体。単体的複体。単体的複体のホモロジー。凸集合。n単体。次元。面。境界。単体的複体。頂点。位相同型写像。次元。特性写像。
単体的複体。セル。位相空間。位相同型。ホモトピー同値。向き。向き付けられている。偶置換。奇置換。符号。単体的複体のZ係数ホモロジー。q次元鎖群。境界作用素。
チェイン複体。自由可換群。単体的複体S。Z係数q次元ホモロジー群。境界輪体群。位相同型。単体的複体。位相空間。位相同型。三角形分割。単体的ホモロジー群。
実射影平面。ホモロジー。分割。三角形分割。単体写像。単体ホモロジー群。準同型。完全公理。切除公理。セル複体の結合係数。境界作用素。セル分割。結合係数。
トーラス。セル分割。複素射影空間。チェイン複体。ホモロジー群。セル。ホモロジー群。境界作用素。
コホモロジー群。準同型。境界準同型写像。ホモロジー群。コホモロジー群。係数群。普遍係数定理。単体的コホモロジー群。
コホモロジー群の公理。位相空間対。セル複体対。直和。位相空間対。可換群。連続写像。準同型。恒等写像。余境界準同型。連結準同型。
切除公理。包含写像。完全公理。長い系列。完全系列。次元公理。位相空間。単体的複体のコホモロジー。余鎖群。余境界作用素。
チェイン複体。ホモロジー群。単体的複体。コホモロジー群。余輪体群。余境界輪体群。クロネッカーのδ。自由可換群。同型。余境界準同型。ホモロジー。行列の転置。輪体。コホモロジー群。
コチェイン。基本輪体。積分。準同型写像の向き。単体的複体のコホモロジー群。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 19:15:23.79

板違いの写経をわざわざageで書き込むのは何の自己主張なの？

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 20:23:10.40

こちらがナチュラルにやっていることでも馬鹿な人には不思議に見えるんですかね？

まあ馬鹿を自覚したのか、攻撃の方向が変化しているのはいいことです笑
他人のことはどうでもいいので自分のことをせいぜい頑張ってください。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 20:40:24.68

ファイバー束。ベクトル束。平面内の曲線。微分。接平面。大域的様子。微分可能多様体。線型な空間。接ベクトル束。ファイバー束。
素粒子論。場の理論。ファイバー束。同型類。グラスマン多様体。ファイバー束。積空間。射影。開区間。メビウスの帯。射影。位相空間。連続写像。位相同型写像。
全空間。底空間。ファイバー。射影。ファイバー束。局所自明写像。構造群。位相同型群。直積空間。ファイバー束。トリビアル束。リー群。閉部分群。ファイバー束。底空間。ファイバー束。接球束。同型写像。
ホップの写像。生成元。ファイバー写像。連続写像。図式。可換。ファイバー束。底空間。ファイバー写像。誘導束。定値写像。ファイバー束。誘導束。トリビアル束。
ファイバー束同型。ファイバー写像。位相同型。誘導束。同型。恒等写像。
数学でファイバー束の同型写像を固定する⇔物理ではゲージを定める
ベクトル束。多様体。ユークリッド空間。位相同型。接ベクトル束。ファイバー束。ベクトル束。位相空間。局所自明性。直積空間。ベクトル束写像。ファイバー写像。制限。
線型同型。ベクトル束同型。ベクトル束写像。底空間。ベクトル束同型。トリビアルベクトル束。微分位相同型。多様体。グラスマン多様体。
写像。ホモトピー類。特性類。ホモロジー群。グラスマン多様体。実グラスマン多様体。複素グラスマン多様体。位相同型。線型部分空間。
位相同型。コンパクト多様体。近傍。グラスマン多様体。標準ベクトル束。積空間。位相同型。標準ベクトル束。メビウスの帯。グラスマン多様体。標準ベクトル束。
セル複体。束ホモトピック。ベクトル束写像。誘導束。トリビアルベクトル束。メビウス束。実射影空間。位相同型。ホモトピー類。グラスマン多様体。分類空間。
等質空間。複素ベクトル束。複素グラスマン多様体。分類空間。ホモトピー類。コホモロジー群。係数群。準同型。特性類。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 20:46:23.89

やり直し。
積空間。ホモロジー群。普遍係数定理。可換群。テンソル積。有限生成。可換群。テンソル積。
Hom。準同型写像。可換群。直和。
捻れ積。捻れ部分。部分群。直和。可換群。捻れ積。
拡大。同型類。可換群。直和。
積空間。チェイン複体。クロス積。ホモロジー群。コホモロジー群。カップ積。積空間。対角線写像。クロス積。カップ積。チェイン。テンソル積。連続写像。コホモロジー群。
カップ積。複素射影平面。多様体。普遍係数定理。ホモロジー群。拡大積。コホモロジー群。捻れ積。コホモロジー群。拡大積。可換群。積空間。コホモロジー群。公式。カップ積。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 21:06:16.76

スペクトル系列。積空間。ホモロジー群。ファイバー束。全空間。ホモロジー群。底空間。スペクトル系列。ベクトル束の特性類。チャーン類。完全カップル。スペクトル系列。
完全カップル。可換群。準同型。導来カップル。制限。ホモロジー類。図式。導来カップル。完全カップル。可換群。準同型。スペクトル系列。収束。可換群。複階数付。直和。
第1象限複階数付。準同型。
複次数。微分。完全カップル。スペクトル系列。ファイバー束。積空間。テンソル積。スペクトル系列。単連結。セル複体。セル全体。可換群。底空間。ホモロジースペクトル系列。
単連結セル複体。ファイバー束。スペクトル系列。完全カップル。ファイバー束のスペクトル系列。セル複体。チェイン複体。普遍係数定理。
ファイバー束。スペクトル系列。潰れる。トリビアルファイバー束。ホモロジー類。輪体。普遍係数定理。自然な写像。自然な単射。セールのスペクトル系列。
底空間。単連結。ファイバー。ファイバー束。埋め込み。ホモロジー群。セールのスペクトル系列。潰れないスペクトル系列。複素射影空間。全空間。底空間。
セル複体。多様体。ホモロジー群。ファイバー束。Z係数ホモロジースペクトル系列。ホモロジー群。準同型。同型写像。コホモロジー群。普遍係数定理。コホモロジースペクトル系列。
ファイバー束。完全カップル。セールのホモロジースペクトル系列。コホモロジースペクトル系列。カップ積。交換可能。導来カップル。複階数付。可換群の列。
セールのコホモロジースペクトル系列。セル複体。ファイバー束。収束するスペクトル系列。第1象限複階数付。複次数。積。カップ積。係数の積。コホモロジースペクトル系列。
ファイバー。埋め込み。コホモロジー。ホモロジー群。スペクトル系列。コホモロジー群。ホモロジースペクトル系列。ホモロジー群。普遍係数定理。積の構造。
コホモロジースペクトル系列。同型写像。生成元。Z係数コホモロジー群。生成元。底空間。単連結。ファイバー束。普遍係数定理。潰れている。全射。単射。普遍係数定理。
分類空間。コホモロジー。複素ベクトル束。分類空間。R係数コホモロジー。部分群。ファイバー束。ファイバー束。位相同型。数学的帰納法。底空間。複素射影空間。ファイバー束。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 21:30:23.87

コホモロジースペクトル系列。潰れる。実係数の多項式全体。可換群。環の構造。同型。生成元。射影。コホモロジー。準同型。単射。基本対称式。置換群。分類空間。
自己束同型。自己位相同型写像。不変。内部自己同型。恒等写像。ファイバー束。帰納法。複素ベクトル束。分類空間。単射写像。スプリット法。引き戻し。準同型。ベクトル束。
チャーン類。特性類。
チャーン類。複素ベクトル束。特性類。実ベクトル束。分類空間。コホモロジー。ポントリャーギン類。スティーフェルホイットニー類。実ベクトル束。
分類空間。コホモロジー。引き戻し。ポントリャーギン類。スティーフェルホイットニー類。実ベクトル束。特性類。多様体。大局的な曲がり方。完全カップル。導来カップル。スペクトル系列。
ファイバー束。ホモロジー群。スペクトル系列。複素射影空間。ホモロジー群。スペクトル系列。ファイバー束。コホモロジー群。スペクトル系列。複素ベクトル束。分類空間。
コホモロジー環。チャーン類。多項式環。
特性類。幾何学的表現。組合せ的。オイラー数。単体的複体。単体。単体的複体。オイラー数。オイラーポアンカレ標数。2次元単体的複体。位相空間。位相同型。2次元球面。
ホモトピー同値。不変。ホモロジー論。単体的複体。Z係数チェイン複体。輪体群。境界輪体群。ホモロジー群。完全系列。有限生成可換群。無限巡回群。有限巡回群。直和。同型。
階数。ホモトピー不変。オイラー数。位相同型。解析的指数。位相的指数。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 21:30:47.77

アティヤ・シンガーの指数定理。
オイラー空間。n次元単体的複体。絡み複体。ユークリッド空間。三角形分割。位相同型。単体的複体。オイラー空間。
ホモロジースティーフェルホイットニー類。単体の重心。単体的複体。単体。重心細分。チェイン。オイラー空間。
輪体。境界作用素。像。球面のオイラー数。単体的複体のホモロジースティーフェルホイットニー類。連結な単体的複体。重心細分。頂点。境界。
実射影平面。トーラス。三角形分割。単体的複体。重心細分。定義通り。輪体。ベクトル束。分類空間。コホモロジー。多様体。接ベクトル束。分類写像。スティーフェルホイットニー類。
多様体。特性類。ホモトピー型。向き付け可能。必要十分条件。ポアンカレ双対。同型写像。ホモロジースティーフェルホイットニー類。スティーフェルホイットニー類。ポアンカレ双対。
ホモロジースティーフェルホイットニー類。多様体。ホモトピー型不変。オイラー空間。ホモトピー同値。ホモロジースティーフェルホイットニー類。特異点。複素解析空間。多様体ではない。オイラー空間。三角形分割。
ホモロジースティーフェルホイットニー類。特性類。幾何学的表現。オイラー類。向き付けされた接ベクトル束。分類写像。分類空間。コホモロジー。引き戻し。交代和。チャーン類。ポントリャーギン類。グラスマン多様体。チャーンサイモン不変量。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 22:07:09.23

>>495
議論を順番に読まずに１つのレスだけ読んで理解できると思うほうが不思議なんだが

すべては>>477から始まっている
>>477>>479>>480>>482と読みたまえ

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 22:10:05.98

>>504
ぶっちゃけ479の時点から、あ、何もわからないんだな、としか思えないんですよねー

A|-B

この記号なんだかわかってませんよね

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 22:26:08.85

>>505
ageるなごみ

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 23:13:09.93

37：GL2(R)のブリューア分解。gを2×2行列(a,b,c,d)とする。
(1) b≠0の時、
n(u)においてu=-d/bとするとng=(a,b,c',0)の形になる。左辺は正則なので右辺も正則となりc'≠0。
するとnga(c'^-1,b'^-1)n(-a/c')
=(a,b,c',0)(c'^-1,0,0,b'^-1)(1,0,-a/c',1)
=(a/c',1,1,0) (1,0,-a/c',1)=(0,1,1,0)=τ。
∴ NGB=τ。よってg=nτbとなる。
(2) b=0の時、g∈Bよりg= I2g∈NI2B。
NBは下三角行列である。τは下三角行列ではない。
従ってWはN\G/Bの完全代表系である。

38： g∈G、h∈Ker(φ)ならば準同型の定義式に入れて
ghg^-1∈Ker(φ)。よってKer(φ)◁ G1。(正規部分群)。

39：xNx^-1∈Nかつx^-1Nx∈Nを示す。
gNg^-1∈Nを示す。Nは正規部分群である。有限群ならば前者だけでOKである。
※要するに正規部分群であることの判定にはG、N共に生成元だけ考えれば良いということ。

40：39に従う。

41：1G N=Nは単位元となる。結合法則は定義式に入れて確認出来る。逆元の存在も同様。

42：全射であることは定義により明らか。
p58の積の定義により、写像πは準同型である。
単位元はNであるから、g∈G、π(g)=gＮ=Ｎ⇔g∈N。
よってKer(π)=Ｎ。

**ご冗談でしょう？名無しさん** · 2018/06/21(木) 01:18:18.65

>>505
> A|-B
>
> この記号なんだかわかってませんよね

君自身が分かってないんじゃないの？それはentailmentだよ

そしてHerbrandの演繹定理の最も簡単な形は　A |- B　⇒　|- A→B だ（普通は複数の前提を並べた形だがね）
君、理解できてる？

それとも “|-” はLKでのderivabilityの記号だとでも言いたかったのかな？
だったら>>479はきちんとそう書くべきだね
この記号 “|-” はもっと一般的なentailmentの記号として定着しているのだから

それにLKならば導出されるのはsequentであってformulaではない
だから |- をderivabilityの記号としてLKで使って |- A→B と書くのは有り得ない（完全な間違い）
LKでderivabilityを主張するのならば |- ―→　A→B と書かねばならない（“―→”はもちろんLKのsequentの左辺と右辺とを分ける記号で通常は長い矢印で書かれるもの）

まさか>>479での |- はLKでの“―→”のつもりで書いてたなんて非常識なことを主張する気じゃないよね

>>505の何も分かってない君、君はもう少し命題論理や述語論理の基本、特にNK, sequent形式によるNK, LKなどやderivability, entailmentの基本をきちんと勉強すべきだね、もちろんHerbrandの演繹定理も含めてね

**ご冗談でしょう？名無しさん** · 2018/06/21(木) 01:49:32.13

>>508
https://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%BC%E3%82%AF%E3%82%A8%E3%83%B3%E3%83%88%E8%A8%88%E7%AE%97

私は|-これはシークエントの記号として慣れていますけどね

論理的帰結は|=だと思いますよ

**ご冗談でしょう？名無しさん** · 2018/06/21(木) 01:53:59.62

私はLKやLJしか詳しくないんですけど、あなたは知らないようですね

逆にあなたはNKやヒルベルト流の論理が得意みたいですね

あなたももっと勉強しましょうね

**ご冗談でしょう？名無しさん** · 2018/06/21(木) 02:05:19.72

シークエント
|-A→B
が証明されれば、健全性定理により
|=A→Bであることは明らかですね

でも、三田論法とかカット除去というのはあくまで証明論、統語的な話であって、意味にまで踏み込む必要はないんですよ
シークエントの導出が、LKにおける証明なわけですから

**ご冗談でしょう？名無しさん** · 2018/06/21(木) 23:08:25.85

多様体。微分形式。微分可能多様体。滑らかな図形。空間。局所座標。位相空間。n次元数空間。貼り合わせ写像。距離。三角不等式。
距離空間。位相空間。近傍。開集合。開近傍。メビウスの帯。同相写像。微分同相写像。微分同相写像。微分同相。逆関数の定理。ヤコビアン。微分同相。
n次元ベクトル空間。接空間。接ベクトル。方向微分。速度ベクトル。ハウスドルフの分離公理。ハウスドルフ空間。局所座標。座標近傍。局所座標系。第2可算公理。
位相多様体。アトラス。同相写像。座標変換。C^∞構造、C^∞微分可能多様体。C^∞多様体。逆関数の定理。微分同相。極大アトラス。極座標。恒等写像。
積多様体。n次元球面。同相写像。トーラス。ドーナツ面。開部分多様体。一般線型群。結び目の補空間。部分多様体。実射影空間。複素射影空間。全射。斉次座標。複素多様体。
正則写像。複素射影空間。複素リー群。直交群。特殊直交群。商群。有限群。リー群。ユニタリー群。C^∞関数。代数。C^∞写像。微分同相。ホップ写像。閉包。こぶ。
被覆。開被覆。局所有限。細分。コンパクト。パラコンパクト。位相多様体。第2可算公理。ハウスドルフ空間。基。台。1の分割。接ベクトル。速度ベクトル。方向微分。接空間。
単射。はめ込み。同相写像。埋め込み。全射。沈め込み。
ホップ写像。部分多様体。包含写像。微分同相写像。逆関数の定理。同相写像。ヤコビアン。アトラス。ベクトル場。
局所座標系。座標関数。微分。括弧積。ヤコビの恒等式。
リー代数。ベクトル空間。積分曲線。常微分方程式。極大積分曲線。平行移動。速度ベクトル。特異点。微分同相群。1パラメーター変換群。微分同相写像。
ベクトル場。変換。境界のある多様体。連続写像。第2可算公理。ハウスドルフ空間。開被覆。境界。メビウスの帯。閉多様体。
向き付け可能な曲面。射影平面。クラインの壺。同調する向き。順序付けられた基底。向け付け可能。向き。向け付けられた多様体。連結。貼り合わせ写像。座標変換。
局所座標系。向きを保つ。リーマン計量。複素構造。自己同型群。固定部分群。自由。軌道。軌道空間。商空間。離散群。真性不連続。被覆写像。被覆多様体。
単射。共役類。普遍被覆多様体。ホモトープ。ホモトピー類。誘導。商空間。ハウスドルフ空間。コンパクト。レンズ空間。アーベル群。階数。

**ご冗談でしょう？名無しさん** · 2018/06/22(金) 18:43:09.63

微分形式。微分可能多様体、微分形式。偏微分方程式。幾何学的構造。不変量。環の構造。代数。単位元。外積代数。単項式。直和分解。基底。線型結合。k次の微分形式。
k形式。外積。開集合。微分形式全体の作る代数。外微分。線型写像。全微分。閉形式。完全形式。ポアンカレの補題。ドラームコホモロジー論。微分同相。
準同型写像。座標。同型写像。アトラス。座標変換。外積代数。接空間。基底。双対空間。恒等的に1。行列。符号付き面積。単体。符号付き体積。多重線型。交代的。置換。
交代形式。局所座標によらない定義。双対空間。ベクトル空間。単位元。外積代数。グラスマン代数。直和分解。部分空間。基底。外積代数。交代形式。多重線型。ベクトル空間。写像。
交代的。置換。双対空間。外積代数。線型写像。行列式。同型写像。双対基底。全射。同型。線型性。平行体の体積。特性類の一般論。外微分。係数。余接空間。外積代数。
座標関数。基底。双対空間。双対基底。ベクトルバンドル。局所表示。余接バンドル。ベクトルバンドル。切断。微分形式。交代形式。多重線型。交代的。
単射。加群。ベクトル場。関数倍。微分形式。多様体。直積。加群。局所座標系。開近傍。恒等的に1。外積。結合的。双線型写像。

**ご冗談でしょう？名無しさん** · 2018/06/22(金) 18:43:25.63

外微分。引き戻し。内部積。リー微分。反微分。線型作用素。代数的な定義。カルタンの公式。リー微分。内部積。リー微分。カルタンの公式。
カルタンの公式とリー微分。リー微分。1パラメーター局所変換群。括弧積。位相。1パラメーター局所変換群。微分同相写像。フロベニウスの定理。積分曲面。積分曲線。極大積分曲線。
共通部分。分布。部分空間。積分多様体。完全積分可能。フロベニウスの定理。包含的。括弧積。可換。ベクトル場。フロベニウスの定理。多様体。分布。完全積分可能。
包含的。積分多様体。ベクトル場。局所表示。積分多様体。部分多様体。埋め込み。積分多様体。極大積分多様体。1対1。はめ込み。極大積分多様体。部分多様体。微分形式。
分布。部分空間。微分形式。イデアル。線型独立。外積。開近傍。双対的。微分イデアル。外微分。積分可能条件。多重線型写像。微分可能。外微分。双線型写像。
合成写像。誘導する。基底。外微分。モーラーカルタン形式。リー群。リー代数。単位元。括弧積。構造定数。基底。双対空間。微分形式。モーラーカルタン形式。定数関数。
モーラーカルタン方程式。基底。リー微分。内部積。外微分。シンプレクティック形式。

**ご冗談でしょう？名無しさん** · 2018/06/22(金) 19:01:43.68

ドラームの定理。ホモロジー群。ポアンカレ。サイクル。微分可能多様体。アーベル積分。層コホモロジー論。多様体のホモロジー。単体複体のホモロジー。
位相空間。単体複体のホモロジー論。三角形分割。胞体複体のホモロジー論。特異ホモロジー論。最小の凸集合。単体。単体複体。多面体。位相空間。単体複体。三角形分割。
ユークリッド単体複体。抽象的単体複体。ホモロジー群。向き。境界作用素。準同型写像。商群。サイクル。バウンダリー。チェイン複体。相対ホモロジー群。アーベル群。
コホモロジー。双対。チェイン複体。準同型写像。境界作用素。コサイクル。コバウンダリー。コホモローグ。チェイン複体。ホモロジー群。双対コチェイン複体。コホモロジー群。
クロネッカー積。双線型写像。クロネッカー積。特異ホモロジー。標準的k単体。特異k単体。連続写像。特異ホモロジー群。位相不変。 C^∞三角形分割。埋め込み。コンパクトな C^∞多様体。
ホモロジー。接ベクトル。無限巡回群。ホモロジー類。位相不変性。基本類。連結で向き付け可能。トム。特異チェイン複体。 C^∞特異k単体。 C^∞写像。自由アーベル群。
ドラームの定理。特異チェイン。ホモロジー群。微分形式の積分。ストークスの定理。台がコンパクト。リーマン積分。微分同相。座標変換。ヤコビ行列。行列式。ヤコビアン。向き。台。
最小の閉集合。多様体。1の分割。

**ご冗談でしょう？名無しさん** · 2018/06/22(金) 19:27:58.24

ストークスの定理。フビニの定理。微分形式のチェイン上の積分。特異チェイン複体。チェイン上のストークスの定理。変数変換。ドラームの定理。ドラームコホモロジー。
完全形式。閉形式。ドラームコホモロジー群。コチェイン複体。ドラーム複体。ドラームコホモロジー代数。準同型写像。合成写像。ドラームの定理。微分構造。位相空間。コチェイン写像。図式。ストークスの定理。準同型写像。同型写像。包含写像。誘導。
三角形分割。チェインホモトピー同値。ベッチ数。ホモローグ。唯一通り。ポアンカレの補題。ホモトピー型。可縮。ドラームコホモロジーのホモトピー不変性。
互いに同型。ドラームコホモロジー。チェックコホモロジー。位相空間。脈体。アーベル群。開単体。開星状体。境界作用素。可縮な開被覆。
開星状体。リーマン計量。可換な図式。包含写像。二重複体。三角形分割。積構造。代数。カップ積。胞体。胞体複体。対角写像。同型写像。クロス積。
コホモロジー作用素。ホップ不変量。ホモトピー類。ホモトープ。2次元の多様体。連続写像。包含写像。境界のある多様体。ストークスの定理。
ホップ写像。オイラー類。接続形式。曲率形式。ファイバー上の積分。マッセイ積。三重積。コホモロジー類。商空間。トーラス。バンドル。オイラー類。3次元閉多様体。リー群。
真性不連続。マッセイ積。
コンパクトリー群のコホモロジー。外積。単射。微分形式。モーラーカルタン方程式。ドラーム複体。部分複体。準同型写像。カルタンアイレンベルグ。コンパクトリー群。
微分形式。同型写像。ハール測度。直積。体積要素。写像度。巻きつく回数。絡み目。まつわり数。

**ご冗談でしょう？名無しさん** · 2018/06/22(金) 23:14:31.40

43：
(1)(g1,1)(1,g2)=(1,g2)(g1,1)=(g1,g2)となり可換である。
(2)a∈G1、(b,c)∈G1×G2とすると、
(b,c)(g1,1)(b,c)^-1=(bg1b^-1,1)てあるからG1◁G1×G2。
同様にG2◁G1×G2。

44：φ(h,k)= hk:H×K→Gとする。これは全射である。
hkh'k'=(hkh')k'、ここでK◁Gよりhkh'∈K。
よってhkh'k'∈K。同様にしてhkh'k'∈H。∴ hkh'k'=1。
∴ hk=kh。準同型の定義式を満たすのでφは準同型。
(h,k)∈ Ker→hk=1からh=k=1が導ける。
Ker=1となり単射であるから同型である。

45： (m,n)=1→Z/mnZ～Z/mZ×Z/nＺ。
中国式剰余定理の証明。
φ(x+ mnZ)=(x+mZ,x+nZ)と定義すると
φはwell-definedである。
準同型であることは明らか。
z= may+nbx (ma+nb=1)と置いて
全射であることか示せる。
元の個数が等しい集合の間の全射なので
全単射となり、同型であることが示された。

46：45の中にある。

47：35x+3=41y+5の特殊解を見つけると、
x=27で、948。

48：|G|=12より部分群の位数|H|=1,2,3,4,6,12。
1の時、{0}。12の時、G。
2の時、2は素数なので010, 100, 110。
3の時、3は素数なので001, 002。
これらは同じなので001。
4の時、〈010,100〉。
6の時、〈001,010〉〈001,100〉〈001,110〉。

**ご冗談でしょう？名無しさん** · 2018/06/22(金) 23:58:17.84

1-1：
(1)→(2)の証明。
a∈S→f(a)∈f(S)、a∈f^-1(f(S))。∴ S⊂f^-1(f(S))。
∃b∈S、f(a)= f(b)。
fは単射なのでa=b。∴ a∈S。よってf^-1(f(S))⊂S。
従ってS=f^-1(f(S))。
(2)→(1)の証明。
a, b∈A、f(a)=f(b)とすると(2)よりa=b。
これで単射が示せた。

1-2：|A|=|B|の時、
(1)A⊂B→A=B。
(2)写像f:A→ Bが単射または全射→全単射。
どちらも自明。

1-3：
ツォルンの補題「Xは順序集合で、任意の全順序部分集合A⊂Xが上界を持つならばXは極大元を持つ」
これは
選択公理「λ∈Λを添字集合とする空でない集合より成る集合族を{Aλ}とする時、直積ΠAλは空集合ではない。
と同値。

1-4：(1)自明。(2)選択公理より成り立つ。(3)自明。

1-5：(1)無限集合の濃度一般。(2)直積の濃度。
(3)部分集合の濃度。

1-6：べき集合の濃度。

3-1：解と係数の関係を使って計算すれば良い。
g=0は4次方程式f=0の3次の分解方程式という。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 00:03:43.65

なんでブログでやらないの？

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 11:08:44.86

>>518
1-4：定理1.4.2 (濃度の基本的性質)
(1) A，B が集合で |A|≦|B|，|A|≧|B| なら |A|＝|B| である．
(2) 集合Aから集合Bへの全射写像があれば，|A|≧|B| である．
(3) A，B が集合なら、|A|＜|B|，|A|＝|B|，|A|＞|B| のどれかが必ず成り立つ．

(1) はベルンシュタインの定理、(3) は濃度の比較可能定理
本当ならこれらを「自明」で片付けることはできない。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 18:40:56.53

>>519
考えたことないです
>>520
数学に関する考え方にかなりの相違がありますね

ラプラシアン。調和形式。リーマン多様体。微分形式。接ベクトル。微分可能多様体。曲面。ガウス。閉じたリーマン多様体。ドラームの定理。ドラームコホモロジー類。
閉形式。調和形式。ラプラシアン。微分形式。微分作用素。ホッジ。調和積分論。リーマン計量。正値。内積。リーマン計量。リーマン多様体。実ベクトル空間。
対称。双線型写像。局所座標系。変数変換。リーマン計量。2次の対称テンソル。n次元ユークリッド空間。正規直交基底。双曲平面。非ユークリッド幾何学。リーマン部分多様体。
同型。同型対応。接空間。双対空間。余接空間。同型。勾配。等位面。同型対応。誘導。外積。行列式。双対基底。
ホッジのスター作用素。各点における線型代数。グラムシュミットの直交化法。
正規直交基底。正規直交枠の場。正規直交枠。双対基底。体積要素。リーマン計量。体積。発散。
ラプラシアン。調和形式。リーマン多様体。コンパクト。境界の無い。微分形式。内積。ベクトル空間。無限次元。線型性。対称性。正値性。ホッジの作用素。線型作用素。
随伴作用素。外微分。ストークスの定理。共役作用素。自己随伴。自己共役。リーマン多様体。ラプラシアン。ラプラスベルトラミ作用素。調和形式。調和関数。ラプラス作用素。
コンパクト性。ホッジの定理。向き付けられたコンパクトリーマン多様体。境界の無いもの。調和k形式。閉形式。ドラームコホモロジー類。
線型写像。誘導。単射。完全形式。同型。有限次元。ホッジの定理。同型写像。ホッジ分解。小平。ドラーム。調和形式+完全形式+双対完全形式。コホモローグ。
直交。グリーン作用素。全単射。射影。可換。楕円型偏微分方程式。偏微分作用素。非特異。表象。シンボル。ラプラス作用素。複素ベクトルバンドル。切断。
局所自明化。ポアンカレの双対定理。ストークスの定理。非退化。同型写像。誘導。ベッチ数。オイラー数。オイラーポアンカレ標数。三角形分割。同型。交わり数。台を持つ。
交わり数。交叉数。交叉形式。対称行列。符号数。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 19:12:52.30

ベクトルバンドル。特性類。微分可能多様体。接空間。微分形式。埋め込み。接バンドル。コホモロジー。特性類。接バンドル。積多様体。アトラス。
ベクトルバンドル。局所自明性。複素ベクトルバンドル。直線バンドル。全空間。射影。底空間。ファイバー。自明化。微分同相写像。変換関数。コサイクル条件。バンドル写像。
同型。積バンドル。自明なバンドル。切断。ゼロ切断。0にならない切断。枠。制限。誘導バンドル。引き戻し。包含写像。
部分バンドル。商バンドル。法バンドル。部分バンドル。複素直線バンドル。複素ベクトルバンドル。ホップの直線バンドル。複素化。
直交補空間。法バンドル。リーマン計量。内積。エルミート内積。直和。テンソル積。双対ベクトル空間。外積代数。ホイットニー和。双対バンドル。外積バンドル。
接バンドル。余接バンドル。チャーン類。ファイバー。外積バンドル。射影空間。接バンドル。ホップの直線バンドル。リーマン計量。
直交補バンドル。接空間。平行移動。実射影空間。積バンドル。部分バンドル。直交補バンドル。バンドル同型。ホイットニー和。切断。実ベクトルバンドル。複素射影空間。双対バンドル。同型ではない。
測地線。直和分解。加速度ベクトル。接平面方向。法線方向。微分。測地線。共変微分。平行。共変微分。平行移動。曲率。接続。双線型写像。共変微分。
積構造。自明な接続。共変微分。括弧積。微分形式。曲率。接続形式。曲率形式。構造方程式。変換公式。変換関数。多重線型。交代的。
自己準同型。共変外微分。ポントリャーギン類。曲率形式。変換関数。微分形式。曲率形式。多項式関数。不変多項式。基本対称式。
多項式環。対角成分。単射性。相似。対角行列。ニュートンの公式。ビアンキの恒等式。トレース。ポントリャーギン類。ドラームコホモロジー類。ホモトープ。特性類。
誘導された接続。両立する。計量接続。ポントリャーギン類。特性類。曲率形式。全ポントリャーギン類。ポントリャーギン形式。ポントリャーギン類。不変多項式。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 19:33:31.49

野球場でサッカーをやってる気分はどう？

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 20:22:27.18

49：準同型定理。第1同型定理。
N=Ker(φ)と置く。ψ(gN)=φ(g)とする。
φ(gn)=φ(g)φ(n)=φ(g)1=φ(g)。
従ってψ:G/N→Hはwell-definedである。
ψ(gN)(hN)=ψ(ghN)=φ(gh)=φ(g)φ(h)=ψ(gN)ψ(hN)となるのでψは準同型写像である。φ=ψ○πは定義により明らか。
ψ(gN)=1→φ(g)=1なのでgNはG/Nの単位元である。よってψは単射である。
φ(g)=ψ(gN)なのでIm(φ)⊂Im(ψ)。
任意の元∈G/NはgNなのでIm(φ)⊃Im(ψ)。
ψは単射なのでG/Ker(φ)とIm(φ)は同型である。

50：準同型定理。部分群の対応。
H∈X→1∈HなのでN=π'(1)⊂π'(H)。特に1⊂π'(H)。
φはwell-definedである。またN◁Kも示される。
ψはwell-definedである。φ○ψ (K)= Kとなる。
Kは集合だがここでは元とみなしていることに注意。
πは全射である。
ψ○φ(H)=Hも成り立つのでφとψが互いに逆写像である。

51：第2同型定理。
(1)単位元を持つ。積について閉じている。逆元について閉じている。これらを定義に基づいてしめす。可換であることも自明。
(2)自然な写像f:H→HN/Nは全射準同型写像である。
Ker(f)=H∩N。よってH∩N◁H。
また、H/H∩N～HN/N。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 21:13:15.99

>>523
野球もサッカーもやりません。

52：第3同型定理。
(1)φ:G/N→G/N'、φ(xN)=xN'と置くとφはwell-definedな写像となる。準同型性は自明。φを自然な準同型という。
(2)Kerφ=N'/Nであるから
問題49より(G/N)/(N'/N)～G/N。

53：準同型の分解。
φ=ψ○π。 N=Kerπ⊂Kerφ。
逆にN⊂Kerφとするとx∈G→f(xN)=xN'と
なる準同型f:G/N→G/N'が存在する。
問題49によりφ=ψ'○π'となる準同型写像φが存在する。f○π=π'。よってφ=ψ'○f○π。従ってψ=ψ'○fと置けば良い。

54：中国式剰余定理より、G～Z/8Z×Z/8Z×Z/3Z。
Gは可換群なので任意の部分群は正規部分群である。
指数2の部分群をHとするとG/H～Z/2Z。
H⊃2Gが示される。問題50によりHはG/2Gの指数2の部分群とと1対1に対応する。
Z/3Zにおいて2倍写像は全単射である。
すなわち012→(024)→021。よってG/2G～Z/2Z×Z/2Z。
これの位数は4なので指数2の部分群は位数2の部分群と同じことである。従って00,01、00,10、00,11の3個である。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 21:26:03.86

要するに2chしか居場所がないという訳か
ここにも本当はないんだけどな

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 21:56:26.91

野球場でサッカーのユニフォームを着て将棋をやってる気分はどう？

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 22:06:03.81

相変わらず本文と問題のレベルに差がありすぎるのな

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 22:37:40.92

http://xn--torv2pmd250s3fcque.com/

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:21:33.20

自分より頭の悪い人しかいないので気が楽です。

レビチビタ接続。曲面。接バンドル。リーマン部分多様体。任意のリーマン多様体。接バンドル。レビチビタ接続。リーマン接続。座標近傍。正規直交枠。
双対枠。レビチビタ接続。接続。リーマン計量。正規直交枠。ベクトルバンドル。双対ベクトルバンドル。接続形式。双対枠。合成写像。外微分。
リーマン多様体。チャーン類。複素ベクトルバンドル。接続。曲率。チャーン類。特性類。ポントリャーギン類。切断。加群。複素数値関数。微分形式。
複素ドラーム複体。コチェイン複体。コホモロジー。ドラームの定理。複素ベクトルバンドル。接続。実バンドル。ベクトルバンドル。
微分形式。複素線型写像。複素ベクトルバンドル。曲率。接続形式。曲率形式。構造方程式。ビアンキの恒等式。変換公式。変換関数。
チャーン類。複素ベクトルバンドル。接続。曲率。局所的。多項式関数。不変多項式。同型対応。代数。ドラームコホモロジー類。複素ベクトルバンドル。特性類。
バンドル写像。誘導バンドル。チャーン類。全チャーン類。チャーン形式。複素コホモロジー群。実コホモロジー類。ポントリャーギン類。実ホモロジー類。
リーマン計量。エルミート計量。ファイバー。正値エルミート内積。共役線型。曲率形式。歪エルミート行列。ホイットニーの公式。ベクトルバンドル。ホイットニー和。
特性類。ホイットニーの公式。曲率形式。ポントリャーギン類。チャーン類。実ベクトルバンドル。共役バンドル。エルミート計量。ファイバー。
複素ベクトルバンドル。共役バンドル。チャーン類。双対バンドル。歪エルミート行列。チャーン類。ファイバー。同型。ホイットニーの公式。オイラー類。接空間。向き。基底。同値類。向き付け可能。ファイバー。局所自明化。
連結。向き。向き付けられた。オイラー類。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:29:20.07

>>530
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ

わからないんですか？

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:37:54.78

リーマン計量。ポントリャーギン類。コホモロジー類。オイラー類。パフ多項式。直交行列。リー群。不変多項式。曲率形式。正規直交枠。曲率形式。オイラー形式。
オイラー類。リーマン計量。ポントリャーギン類。リーマン計量。オイラー類。射影。ファイバー。ファイバーバンドル。第1障害類。位相的。エルミート計量。接続。
曲率。正規直交枠。歪エルミート行列。エルミート計量。リーマン計量。曲率形式。ユニタリー行列。対角化。直交行列。不変性。多様体。ホイットニー和。
特性類。ガウスボンネの定理。多様体。リーマン計量。接続。リーマン計量。レビチビタ接続。曲率形式。ベクトルバンドル。切断。
リーマン計量。接続。局所的。正規直交枠。接続形式。構造方程式。曲率形式。オイラー形式。特異点。単体写像。連続写像。重心。像。ベクトルバンドル。連続な切断。
特異点。重心。ベクトル場。特異点。孤立特異点。近傍。モース理論。勾配ベクトル場。オイラー形式。モース関数。標準形。
臨界点。原点。指数。リーマン計量。ユークリッド計量。接続。接続。ユークリッド計量。交代行列。接続形式。構造方程式。ストークスの定理。ベクトル場。符号。
接続。積分。線型結合。恒等写像。自己同型。曲率形式。特異点。ベクトル場。直積。射影。接バンドル。引き戻し。特異点。ホイットニー和。オイラー類の公式。積分。
複素射影空間。多様体。接バンドル。ポントリャーギン類。複素ベクトルバンドル。チャーン類。コホモロジー。胞体。ホモロジー群。コホモロジー群。
生成元。コホモロジー環。同型。ホップの直線バンドル。包含写像。チャーン類。引き戻し。ホイットニーの公式。ガウスボンネの定理。複素射影空間のチャーン類。ホイットニーの公式。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:38:24.89

ガウスボンネの定理。複素射影空間。ポントリャーギン類。複素ベクトルバンドル。ポントリャーギン類。コホモロジー。ポントリャーギン数。チャーン類。チャーン数。
特性数。トム。同境理論。微分可能多様体。分類理論。同境。コンパクト。向き付けられた。多様体。位相的。直和。0に同境。ポントリャーギン数。包含写像。接ベクトル。同型写像。ストークスの定理。
ポントリャーギン類。多項式。ポントリャーギン形式。多様体。ホイットニー類。巡回群。閉多様体。スティーフェルホイットニー数。トム。ポントリャーギン数=スティーフェルホイットニー数。
不変量。符号数定理。不定元。形式冪級数。基本対称式。多項式。符号数定理。閉多様体。底空間。ベクトル空間。局所的に直積。接空間。ベクトルバンドル。接バンドル。
測地線。切断。底空間。曲率。共変外微分。構造方程式。特異点。特性類。ドラームコホモロジー類。ガウスボンネの定理。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:39:28.16

>>531
そんなクソみたいな学問には興味がありません。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:41:28.98

>>534
わからないんですね(笑)(笑)(笑)

頭悪いんですね

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:43:13.17

>>531
この前みたいに馬鹿同士でやり合っててください
見てて別に面白くもないし興味も無いですけど
俺を巻き込もうとしないでね

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:44:35.14

わからない人が何か言ってますね

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:45:26.70

>>535
あなたは「全く非論理的な応答しかできない馬鹿」なので今後はあなたと判明した段階であなたのレスを無視しますね

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:47:47.35

以上、わからない負け犬の遠吠えでした(笑)

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 00:22:29.83

力学系の円周上の同相写像の回転数の定義がすんなり頭に入ってこなくて焦った

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 06:22:26.17

>>530
気付きたくないだけかも知れないけど、お前も結構頭悪いよ？

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 18:03:34.08

ファイバーバンドル。特性類。多様体。接バンドル。ベクトル空間。ベクトルバンドル。ポントリャーギン類。チャーン類。ファイバーバンドル。多様体。
主バンドル。リー群。ファイバーバンドル。チャーンヴェイユ理論。チャーンヴェイユ理論。主バンドル。曲がり具合。接続。曲率。ドラームコホモロジー。ベクトルバンドル。
特性類。ファイバーバンドル。主バンドル。多様体。積多様体。射影。積バンドル。写像。ファイバー。微分可能ファイバーバンドル。
微分可能Fバンドル。微分同相。全空間。底空間。ファイバー。射影。繊維。束。多様体。位相空間。連続写像。位相同型。バンドル写像。同型。
自明なバンドル。自明化。切断。被覆。変換関数。コサイクル条件。直和。商空間。同値関係。構造群。バンドル写像。恒等写像。同型。
誘導バンドル。主バンドル。主Gバンドル。特性類。オイラー類。ファイバーバンドル。リー群。ポントリャーギン類。チャーン類。リー群。構造群。
微分形式。分類空間。位相群。普遍Gバンドル。ホモトピー。引き戻し。1対1対応。同型類全体。ホモトピー類全体。分類空間。コホモロジー群。
ベクトルバンドル。構造群。接空間。基底。正則行列。軌道空間。射影。接枠バンドル。リーマン計量。正規直交枠。構造群。主バンドル。同伴主バンドル。
被覆多様体。被覆写像。ファイバー。普遍被覆。被覆変換群。オイラー類。微分同相。部分群。右作用。三角形分割。切片。単体複体。ホモトピー。
射影。写像度。切断。コホモローグ。コチェイン。道。コホモロジー類。同型。誘導。オイラー類。コホモロジー類。三角形分割。

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 18:23:20.50

たまに病院行くとこういうヤツいるｗ

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 18:52:15.10

たまにじゃなくてずっと居れば？

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 18:54:04.43

いや、耐えられないから無理ｗ

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 21:50:55.11

じゃあにちゃんねるに居座って毒電波浴び続けるのはオススメしないな

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 22:09:39.38

>>1
まじかー

学生のときに出会っていたら…。

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 22:45:30.45

S^1バンドルの分類。オイラー類。向き付けられたS^1バンドル。不変量。構造群。オイラー類。特性類。バンドル写像。同型。オイラー類。多様体。
三角形分割。切断。底空間。単体複体。ホモロジー論。ホモトープ。単体写像。底空間。コホモローグ。同型写像。境界上。局所自明化。連続写像。普遍被覆。
同型写像。単射性。リー群。左不変。極座標。多様体。全空間。主S^1バンドル。接続形式。接ベクトル。座標関数。接続形式。底空間。沈め込み。単射。閉形式。
ドラームコホモロジー類。外微分。接続形式。曲率形式。実オイラー類。切断。微分形式。三角形分割。1の分割。リーマン計量。ファイバーバンドル。第1障害類。オイラー類。
ポントリャーギン類。チャーン類。ガウスボンネの定理。多様体の三角形分割。接バンドルの接続。オイラー形式。ベクトル場。特異点。
孤立特異点。写像度。微分同相。ホップの指数定理。ポアンカレ。単位球面バンドル。ガウスボンネの定理。三角形分割。重心。接続。
直積。底空間方向。ファイバー方向。直和。直和分解。接ベクトル。ファイバーバンドル。接ベクトル。不変量。特性類。接続。多様体。リーマン計量。
分布。直交補空間。水平なベクトル。持ち上げ。水平な持ち上げ。接続。部分空間、極大積分曲線。リー代数。モーラーカルタン形式。随伴表現。準同型写像。
基本ベクトル場。接続形式。自明な接続。モーラーカルタン方程式。曲率形式。構造方程式。ビアンキの恒等式。双対基底。ヴェイユ代数。微分形式。合成写像。
外積。多項式関数。ヴェイユ代数。次数。積。接続形式。曲率形式。部分代数。微分形式。外微分。可換。図式。内部積。リー微分。接続形式。曲率形式。
反微分。次数。無限小。可換性。外微分。