統計的な推測(数B)の備忘録
数Bといえばベクトルと数例ですが、一応「確率分布と統計的な推測」という単元もあります。高校では習わず独学で勉強しましたが、何しろ問題を解く機会がない(手元の問題集にも載っていないものが多い)ため、すぐ忘れてしまいます。そのため、備忘録として一部の内容をまとめました。(教科書読んだ方が速いかもしれませんが…)
数学Bで習う確率分布には二項分布と正規分布があります。それらの違いを簡単に下にまとめると、次のようになります。
また、二項分布は「ある試行を行って事象が起きる確率がであるとき、試行を回行って事象が起きた回数」をとしたとき、が従う確率分布となります。
両者には重要な関係があり、が十分大きいとき二項分布は正規分布に近似できます。、というのはそれぞれ二項分布に従う確率変数の期待値と分散です(証明略)。
さて、母集団から1つの個体を無作為に抽出し、その変量(個体がもつ特性を表す数量)の値をとすると、これは確率変数となります。そして、が従う確率分布を母集団分布といい、期待値を母平均、標準偏差を母標準偏差といいます。さらに、複数の個体を無作為に抽出し、それらの変量の平均をとすると、これも確率変数となり、期待値は母平均と一致し、標準偏差は母標準偏差を標本の大きさの平方根で割ったものとなります。そして、母集団分布が正規分布に従うならば標本平均も正規分布に従いますが、母集団分布が正規分布に従わないとしても標本の大きさが十分に大きければ近似的に正規分布に従います。
一方、母集団におけるある特性をもつ個体の割合を母比率といい、抽出された標本における特性をもつ個体の割合を標本比率といいます。そして、標本比率は確率変数となり、標本の大きさが十分に大きいとき近似的に正規分布に従います。これは「母集団から個の個体を無作為に抽出して、それらのうち特性をもつものの個数」をと定義した時、は二項分布に従うことから分かります。
標本平均と標本分布について特徴をまとめると下の表のようになります。
いずれもある確率変数が存在してまたはと定義されますが、が標本平均の場合は複数の値をとるのに対し、標本比率の場合は1か0の値しかとらないのが本質的な違いだと思います。この違いによりはに、はに変化していると解釈できます。
さて、正規分布に従う確率変数の確率は計算することが出来ません。そこで、期待値0、標準偏差1の正規分布である標準正規分布に従う確率変数に対して、の値が複数のに対してまとめられた表が存在します。また、確率変数がいかなる正規分布に従っているとしても、とおくと確率変数は標準正規分布に従います(をの標準化変数といいます)。
そして、その表によるととなるの値はおよそ1.96と分かります。つまり、95%の確率でという不等式が成り立ちます。であったので、これを代入して整理すると95%の確率でが成り立つと言えます。
この不等式を標本平均(近似的に正規分布に従う)、標本比率(近似的に正規分布に従う)について立てると、
標本比率:
標本平均:
という不等式が95%の確率で成り立つと言えます。
これらの不等式は、それぞれ母平均、母比率を推定するのに役立ちます。たとえば、標本平均について母標準偏差が分かっていれば、母平均は95%の確率での範囲に含まれていることが分かります。このような範囲のことを信頼度95%の信頼区間といいます。しかし、母標準偏差が分かっていなければ標本の標準偏差で代用することもできます。母比率を推定したいときも同様に、母比率は標本比率で代用します(そうでないと、母比率の信頼度95%の信頼区間に母比率が含まれてしまい役に立ちません…)。したがって、標本比率について母比率の信頼度95%の信頼区間はとなります。
以上です。センター試験では選択問題に存在しているのを見たことがありますが、それ以上の難易度の問題って存在するんですかね。一応、「大学の統計学」という本を途中まで読んで興味を持っているので、コロナが落ち着いたころに統計検定など受けたいなと思ったり思わなかったり。ではでは。
第一同型定理の証明と第二、第三同型定理の紹介
過去の記事で、後日改めて同型定理についてまとめると言いつつ放置していましたが、時間的に余裕ができたので整理しました。なお、各同型定理は本来、複数の主張を含んでいますが、独断で一部の主張だけ紹介します。
まず、第一同型定理は次のような主張になります。
第二、第三同型定理は紹介までに留めますが、これは証明します。ただし、なるべく定義から証明するようにはしていますが、部分群であるための必要十分条件や準同型写像が単射であるための必要十分条件など証明せず使うところもあります。
そもそも と が群でないといけないので、このことを証明します。
最後に、これらが同型であること、すなわち から への同型写像が存在することを証明します。
一応参考書を読みながらではありますが、代数学の証明を書くのはほぼ初めてなので、もしかすると間違えているところもあるかもしれません。ご容赦ください。
第一同型定理の主張を日本語で書くと「 から への写像が存在して、 をその写像の核で割ったものはその写像の像と同型である」となります。
続いて、第二同型定理と第三同型定理の紹介をします。
これらは、第一同型定理をうまく使うことで証明できるみたいです。
第二同型定理は は「部分群 の元と 正規部分群 の元の積全体を で割ったもの」であり、 は「部分群 を と正規部分群 の共通部分で割ったもの」であり、これらが同型であるということを言っています。
一応補足すると、 は と を含む群になります。恐らくイメージ的には、 による の割り方を を 、 を へと拡大した感じになるのだと思います。
次に第三同型定理は は の両方で割れるわけですが、 を のスケールで分割(表現が難しい…)すると に一致する感じだと思います。形式上、なんだか分数みたいで面白いですね。
一般的に準同型定理と呼ばれるのは第一同型定理のようですが、どうして同型定理は3つ存在するのか考えてみて、群の2つの部分群の包含関係によって3つに分けられているのではないかと思いました。第一は共通部分が空集合、第二は共通部分があるが一方が他方を含まない、第三は一方が他方を含む。それで、それぞれ正規部分群が不要、少なくとも一方、両方のとき、同型な2つの群を見つけることができる、という感じかなと思いました。素人の考えなので、まったく的外れかもしれませんが…。
今回はこの辺りで。ではまた。
オイラー関数についての不等式
以前からオイラー関数 を何回反復させれば初めて になるのか興味がありました。特に明確な同機があるわけではないのですが、恐らく約一年前に書いた下の記事の内容がそれとやや関係しているからだったかもしれません。(関係ないですが、しばらく前に書いた記事って今とテンションが違くて恥ずかしいですね。)
まあ、動機は何でもいいです。このことに関して何度か調べても、なかなかオイラー関数の反復について書いているサイトが見つからなかったのですが、今回考察して大分進捗があったのでまとめようと思います。
まず、今回使った関数の定義(といっても大層なものではありませんが)から説明します。1つ目は で、これはオイラー関数を 回反復させたものを表します。再帰的に定義するなら となるでしょう。
2つ目は で、これは となるような最小の を表します。 の場合は となる とも言い換えられるでしょう。このときは の場合 と個別で定義することになります。
さて、興味があるのは がどのような範囲にあるのかということで、結論としては が考察で得られました。
証明は定理1から7に分けて行いました。結論は上からの評価が定理4、下からの評価が定理7で、定理1~3、5~6はそれぞれを証明するための準備です(補題とするべきだったでしょうか)。
さて、さっそく証明していきます。
については下の記事を参考にしてください。飽くまで の言い換えです。
最後の不等号に がついていないのは だからです。この不等式は完全に自力で求めたので、あっているか少し心配ではあります。 自体のときは定理1のようにまったく抑え込めないのですが、 以降になると が正偶数であることから抑え込めるようになるのがポイントです。
さて、ここまでの結果から の上からの評価が可能になります。
次は下からの評価を証明していきます。
これは証明は兎も角、不等式自体はWikipediaに書いていました(オイラーのφ関数 - Wikipedia)。ただ「簡明な下界」と書いてあり、かなり緩い評価ではあるようです。
この結果から の下からの評価が証明できます。
以上から という結果が得られました。ただ、上からの評価はそこそこ良さそうですが、下からの評価がかなり緩いようです。もっときつくて、かつ扱いやすい の下からの評価があればよいのですが…。唯一この評価の良い点を挙げるとすれば、上下の評価に が含まれていて見栄えが良いというところでしょうか。
少なくとも約一年前の記事に関わるのは上からの評価だけなので、とりあえずは満足です。もっとよい下からの評価があれば、また書こうと思います。
ではまた。
積で割った余りを合同式で求める。
高校時代は合同式と相加平均・相乗平均の大小関係が大好きでした。
それで、高校で普通合同式を使わずに解く問題も合同式を解きたいと思いました。そのために、一般的でない合同式の公式を証明します。
まずは合同式の定義と一般的な公式の証明をします。
ここからは の別バージョンとして を証明します。
さて、今回使うのは だけを使います。
解きたい問題は「 を互いに素な自然数としたとき, で割ると 余り, で割ると 余るとき, を で割った余りを求めよ.]という問題です。
まず一般的な方法で解きます。
はある整数 が存在して
と表される.
このとき であるから .
と は互いに素であるから, ユークリッド互除法により
を満たす組 が求まる.
したがって であるから
.
と は互いに素, は整数より, は の倍数である.
よって, ある整数 が存在して .
このとき, .
したがって, とおくと ( は整数) より を で割った余りは を で割った余りに等しい.
次に合同式を使った場合です。
より .
より .
と は互いに素であるから, ユークリッド互除法により
を満たす組 が求まる.
したがって .
すなわち を で割った余りは を で割った余りに等しい.
となることは簡単に分かります。また、合同式を使った解法だと、本質的には同じですがユークリッド互除法を使わずにゴリ押せます。例題を解いてみましょう。
[問] で割るとそれぞれ 余る自然数を で割った余りを求めよ.
[答]
を で割るとそれぞれ 余る自然数とすると,
①
②
②① より③
①③ より④
④③ より
したがって, を で割った余りは である.
つの合同式から の式を求めるまでは多少面倒ですが、ユークリッド互除法から式変形するよりはずっと楽ですし、うまくやれば短くできそうです。もしかしたら選んだ整数によっては面倒になるかもしれませんが、そのときは別の方法で。少なくとも以前求めた行列を使った方法をやれば、簡単に求まるはずです。
第一同型定理までの要点まとめ
「代数学1群論入門」の第二章を読み終わり、理解の怪しいところもありますが、とりあえず忘れる前に概要を整理したいと思います。
群というのはある条件を満たした、集合 と 上で定義される演算 のペア のことで、ある条件とは①結合法則②逆元の存在③単位元の存在の3つです。集合における部分集合のように、群においては部分群が定義できます。
のような集合の つの元に対して定義される関係(関係の定義は省略)のうち、①反射律②対称律③推移律を満たすものを同値関係といいます。 を集合 上で定義される同値関係としたとき、 に対して を の同値類といいます。 の部分集合で に対して と表されるもの全体の集合を の による商といい と書きます。
を特に、 を群、 を の部分群として、 に対して ならば と定義したとき、 の同値類を の による左剰余類と呼び と書きます。また、 のこの同値関係による商を と書きます。同様に、 ならば と定義した場合には の同値類を の による右剰余類と呼び と書き、また、 のこの同値関係による商を と書きます。
を群 の部分群として、任意の に対して のとき を の正規部分群といいます。 が の正規部分群であるとき、任意の に対して となります。また、 上の演算を に対して と定義すると はこの演算に関して群となります。
を群として写像 が、任意の に対して となるとき を準同型写像といいます。この準同型写像の逆写像も準同型写像のとき を同型写像といい、同型写像 が存在するならば と は同型であるといいます。準同型写像 が全単射であるとき は同型写像となります。
を群とすると、準同型 に対して を の核といい、 を の像といいます。 は の正規部分群、 は の部分群となります。したがって は群となります。
写像 を に対して と定義すると、同型 が存在して は と同型となります(第一同型定理)。特に が全射のとき であるから と が同型となります。
後で自分でサッと思い出すために書いたので、詳細や証明は省きました。準同型定理については第一同型定理から第三同型定理まであるので、第二と第三は後日まとめます。以下、いくつか補足をします。
が群 の部分群であることを と書き、特に正規部分群のとき と書きます。また、群 が同型であることを と書きます。
を群 の部分群とすると であり、これを と書きます。このとき となります(ラグランジュの定理)。
以上です。ここからは作用というものが登場して、前回学習をしたときはこの辺りから分からなくなり始めたので、多分次まではしばらく期間が開くと思います。
ただ、演算が集合 に対する写像 であるのに対して、(左)作用は群 と集合 に対する写像 であることを考えると、どこで挫折したのか。ベクトルにおけるベクトル加法とスカラー積の違いみたいなものですよね、多分。もしこの段階で混乱していたのだとすれば、案外すんなり理解できるかも?とりあえず次はシローの定理を目標に読み進めます。春休みももう終わるので、次いつ読めるか分かりませんが…。ではまた。
一次不定方程式と行列
自然数 に対して不定方程式 の整数解 の1つを、行列を用いて求める方法について考えます。
前半は高校数学で扱うように、ユークリッド互除法を用います。
【前半】
とおくと, ある非負整数 が存在して,
が成り立つ.
すなわち, 整数 に対して
より
であるから, を整数とすると,
が成り立つ.
ここで
とおくと は整数で,
が成り立つ.よって とすると,
となり, 特に のとき
が成り立つので は不定方程式 の整数解の1つ である.
さて、後半ではようやく行列を使います。
【後半】
整数 に対して
より,
したがって,
具体例で試してみましょう。
であり,
ここで であるから, は不定方程式 の解の1つである.
[補足(2021/03/31)] の後、 まで計算しないと気持ち悪い!という場合は を に置き換えれば良さそうです。