回答:
はい。これは、定義を検討することで明らかになります。
単位球は、ユークリッド空間の単位ベクトルのセットです whereはユークリッドノルムです。
「クロネッカー積」は通常のテンソル積です。それについて考え、それで計算するにはいくつかの方法があります。1つは、それを行列として定義することです。
別の同等の方法は、この行列の成分を成分のベクトルに解き、を要素として表示できるようにします。のユークリッド計量が書けることに注意してください
どちらも、すべてのコンポーネントの平方和を書き込む方法です。
クロネッカー積は、およびのユークリッドメトリックスと互換性があるという意味で互換性があります。
左側はすべての二乗の合計として定義され、右側はそれらの二乗の合計の積であるため、これは簡単に示されます。その製品を拡張するだけです:
特に、と両方に単位長がある場合、は単位長があります。したがって
ユークリッド球は、ユークリッド空間の通常の測度(最終的にはユークリッド距離によって決まるルベーグ測度)から測度を継承します。(定義により)アイソメトリは距離を保持し、メジャーは最終的には距離によって決定されるため、そのメジャーは球のアイソメトリによって保持されます。の単位球の等高線のグループは、直交グループで表されます。 それは線形変換で構成され、すべてで表されることを示すために、古典的な結果であり、単純行列れる。
直交グループは推移的に作用します。(これはユークリッドが作成した証拠です:球上の2つの異なる点とします。それらの間に線分描きます。それはの中点を通る垂直な一意の超平面を決定します。その超平面マップでの反射がであり、そこからそれ自体とジャム全ての距離に、。すなわち反射スワップと示す送信直交変換が存在するを)。
「ベクトルがに均一に分布している」とは、分布がようなアイソメトリの推移的なグループの下で不変であることを意味します。
パンチラインは次のとおりです。 "hypertorus"は、商に同型の同型の推移的なグループを楽しんでいます。実際、任意の所与と他、ピックれると。LETいずれかで行列と定義します
これはアイソメトリです。なぜなら、式を使用すると、
これらのステップでは、と直交性と、正方行列およびれました。
等長のための等長の推移群誘導介して、(グループ不変である)、一様分布onは、QEDの一様分布にマッピングされます。
とが独立している限り、あなたの言うことは真実です。
空間内の点ではなく、角度について考えるのが最も簡単です。
たとえば、の2次元球では、から独立しておよびサンプリングし、それらを天頂およびそれぞれ方位角。
したがって、はとことができ、は。その場合、それらのKPはあり、一様分布も同様です。
hist(runif(5000) %x% runif(5000))
ました..?