数学者「自明」←これ

**１３２人目の素数さん** · 2023/01/11(水) 17:55:12.70

ほんとか？

**１３２人目の素数さん** · 2023/01/11(水) 17:59:20.52

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

**１３２人目の素数さん** · 2023/01/11(水) 18:14:30.89

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

**１３２人目の素数さん** · 2023/01/12(木) 12:32:54.61

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

**１３２人目の素数さん** · 2023/01/12(木) 13:59:32.96

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

**１３２人目の素数さん** · 2023/01/12(木) 20:35:37.89

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

**１３２人目の素数さん** · 2023/01/14(土) 20:42:25.49

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である。□

**１３２人目の素数さん** · 2023/01/17(火) 07:07:12.45

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

**１３２人目の素数さん** · 2023/01/17(火) 14:13:02.69

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

**１３２人目の素数さん** · 2023/01/17(火) 14:55:27.34

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

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

**１３２人目の素数さん** · 2023/01/17(火) 15:30:50.89

明白

**１３２人目の素数さん** · 2023/02/06(月) 18:32:08.78

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

**１３２人目の素数さん** · 2023/10/14(土) 02:59:14.57

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

**１３２人目の素数さん** · 2023/10/21(土) 21:09:54.26

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

**１３２人目の素数さん** · 2023/10/23(月) 19:05:25.65

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