数学者「自明」←これ ->画像>1枚

ほんとか？

指導教官に突っ込まれて冷や汗を書いて数学者になる

自明の定義があるという
まあ「自ずから明らか」なんていう個々人の価値観に依存した曖昧な言葉を数学で使うわけないんだけど、自明って言葉選びは失敗してそう

公知かつ自明
万人公知かつ先験自明

>>1
自明と書いてあっても、全然自明じゃなかったとか意外とある
酷い場合には反例が見つかって、著者の見識が疑われることにも

自明は「記載が一々面倒」の意
本当に自明だと思うときは、「自明」とすら書かない

Theorem:
有限位数の斜体は可換である。

Proof:
Fを有限斜体、ZをFの中心とする。F = Zを示す。

Zの位数をq、Fの位数をn = q^fとする。
C(x) := { y∈F | xy = yx}とし、その位数をq^m(x)と書く。
x_1, ..., x_kをF^×を共役類の代表元とすると、

|F^×| = |Z^×| + Σ[F^× : C(x_i)^×]
∴ q^f - 1 = q - 1 + Σ (q^f - 1)/(q^m(x_i) - 1)

ここで、f ≠ 1と仮定する。
Pをf次の円分多項式とすると、上の式はq - 1の項以外すべてP(q)の倍数であるから、q - 1もそうであるが、

|P(q)| = Π[(m, f) = 1]|q - exp(2πim/f)| > |q - 1|

なので矛盾。よってf = 1である。□

it is clear.を使っていいのは著者の大先生だけってセミナーで習わなかったのか？

佐藤幹夫の論文のギャップを埋めて取った学位がいくつもあるそうな

自明→self-evident
trivial→つまらない；取るに足りない/ 自明（数学者のスラング）
以上英和辞典

ある大先生の言「自明なことでも大事なことがある」

明白

ソース(情報源)は？
情報の発信源、原典、引用元などを載せてください

週末の予定、特にないんだよね。

>>10
トリビアルは自由七科で数学色が薄いどうでもいい人文三分野のことだったのが語源。

>>14
へぇ～ボタン押させてもらいます