数学者「自明」←これ
自明の定義があるという
まあ「自ずから明らか」なんていう個々人の価値観に依存した曖昧な言葉を数学で使うわけないんだけど、自明って言葉選びは失敗してそう >>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
トリビアルは自由七科で数学色が薄いどうでもいい人文三分野のことだったのが語源。