高校数学における複素数平面の背景
数学2において複素数というものを習った.
具体的には, 方程式の解の一つをと書き, 複素数はという形で表されているもので, 和, 差, 積, 商, 共役を考えることができるという内容であった.
まずはの解について考える.
実数に対してが成立していることによりとなってしまい実数解は持たないことが分かる.
そこで, 逆に解を持つような数の世界を考えようとする.
様々な構成法があるが, 一つだけ挙げてみよう.
まずは体である.
つまり, 四則演算ができる集合である.
体で, より大きな体を考えたい.
そこで, 多項式は内に解を持たないのでをで生成される単項イデアルで割った剰余環を考える.
これはの解まで含めた集合であるからそれをと書く, というものである.
いわゆる体の拡大により定義するもので, これはGalois理論と関係がある.
次はの代数構造に注目してみよう.
には和, 差, 積, 商, 共役, 絶対値が定義され, その絶対値は特別な条件を満たす.
これが重要な条件である.
一般化すると, 集合に和, 差, 積, 商, 対合(共役の性質を持つ演算), ノルム(絶対値の性質をもつ, 一種の大きさをはかるもの)が定義されていて, そのノルムは完備(Cauchy列は収束列)で, を満たすもの(さらに劣乗法性も必要), といえる.
これを満たすをC*環という.
はC*環の一例であるといえる.
最後にの幾何的構造に注目してみる.
は平面と思えるので, と同じであるといえる.
さらに, は実は球面で, 北極点を除いたと同一視できる.
ここに, は半径1の単位球面である.
そこで, 北極点に相当する無限遠点を加えた集合はと同一視できる.
これを一点コンパクト化といい, $\mathbb{C} \cup \{ \infty \}$をRiemann面という.
さらに一般化してRiemann面を多様体の一種として定義できる.
なお, 多様体とは各点の近傍で地図が書けるような集合である.
凸集合について
を次元Euclid空間内の部分集合とする.
が凸であるとは, 内の任意のと0より大きく1未満のに対して, であるときにいう.
つまり, の任意の二点からなる線分がに属するときにいう.
例は次の通りである.
- 線分, 直線は凸集合である.
- 円, 三角形は凸集合である.
- 扇型は凸集合でない.
発展的な話題としては, 例えば凸多面体論, 局所凸空間, 単体的複体などがある.
可換von Neumann環と可換C*環
C*環とvon Neumann環の定義は別のところで述べることとする.
- 可換von Neumann環は, 同型を除いてしかないことが知られている.
ここに, は第二可算公理を満たすコンパクトHausdorff空間で, は正測度である.
- 単位的可換C*環は, 同型を除いてしかないことが知られている.
ここに, はコンパクトHausdorff空間である.
以上のことから, 標語的に
「von Neumann環は非可換測度論」, 「C*環は非可換トポロジー」
とも呼ばれる.
放物線の接線の方程式について
二次曲線における「接線の方程式」とは, 二つ定義がある.
- 二次曲線と直線とが共有点をただ一つもつとき, その直線を接線という.
- 微分係数を用いたもの.
その二つが実は同じであることを確認する.
放物線のにおける接線の方程式は
である.
- を放物線の式に代入すると, である.
また, 二次曲線のPにおける接線は, を用いて
と表せる.
よって, にこの接線の方程式を代入すると, の二次方程式
を得る.
この二次方程式は重解を持たねばならない.
つまり, この二次方程式は, その判別式が0で, かつ, を解にもつと言い換えられる.
解を持つので, 判別式が0であることを考えると
したがって, を思い出すと
が得られた.
- をで微分すると, , つまり, である.
よって, における接線の方程式は
このあとの計算は上と同様である.
仮説検定について
今日, テレビにて「仮説検定」の話題が取り上げられていた。
2020年からの新しい学習指導要領(厳密には校種により違うと思う)にて, 数学1で仮説検定の単元が追加されるみたいである。
私が高校のときにはなかったので, 仮説検定の考え方を備忘録としてまとめておく。
ただ, ぱっと本を見てまとめただけなので正しくはないはずで, 参考にもならない。
仮説検定とは, 簡単にいうと統計学における背理法の具現化ではないかと考えた。
つまり, ある命題を仮定して真か偽かを判断する一つの方法である。
帰無仮説とは, 本来望んでいる事実の否定命題である。
一方, 対立仮説とは帰無仮説の否定命題である。
そして, 有意水準と呼ばれる基準を満たせば, 帰無仮説を採択する, 満たさなければ帰無仮説を棄却するという。
ここで重要だと考えるのが, ある有意水準で帰無仮説が採択されたとしても対立仮説が正しくないというわけでもない。
日本語命題が排中律を常に満たすわけではないことによるものなのかと考える。