鏡映のソースを表示

数学における'''鏡映'''（きょうえい、{{lang-en-short|reflection}}）あるいは'''鏡映変換'''とは[[ユークリッド空間]]の超平面を[[固定点]]集合にもつ[[等長写像|等長変換]]である。その名の通り、3次元空間内では、ある[[図形]]に鏡映変換を施したものは、[[鏡|平面鏡]]に映ったその図形の位置及び見え方と一致する。（この場合、鏡の位置が固定点集合となる）

例えば2次元ユークリッド空間では鏡映の固定点集合は直線であり、固定点集合を鏡映の軸という。逆に、与えられた直線を軸とする鏡映が定まり、直線による折り返しなどとも呼ばれる。同様に、3次元空間では与えられた平面による鏡映が定まる。

鏡映によって変わらない図形を鏡映対称（2次元図形の場合、特に[[線対称]]とも呼ぶ）である、あるいは鏡映対称性を持つなどという。特に軸が垂直な場合は左右対称とも言われる。例えばアルファベットの A や H などは垂直な軸に関して鏡映対称である。3次元の物体や現象（特に[[分子]]）が鏡映対称であって、[[図形の合同|合同]]ではないことを[[キラリティ|掌性]]と呼ぶ。

長さや角度は鏡映によって変わらないが、向きが変わる。また、同じ鏡映を2回続けて行うと恒等変換になるので鏡映は[[対合]]の一種である。

== 定義 ==
[[点乗積|標準内積]]が与えられた2次元実計量ベクトル空間 '''R'''<sup>2</sup>において、ベクトル ''v'', ''a'' に対し
:<math>\operatorname{Ref}_a(v) = v - 2\,\frac{v\cdot a}{a\cdot a}\,a</math>
を ''a'' に直交する[[原点]]を含む[[直線]]による鏡映、あるいは単に ''a'' に関する鏡映という。ただしここで ''v''·''a'' は ''v'' と ''a'' の[[点乗積]]である。

Ref<sub>''a''</sub>は線形変換であり、特に ''v'' と ''a'' が直交するなら Ref<sub>''a''</sub>(''v'') = ''v'' であり、''v'' が ''a'' のスカラー倍ならば Ref(''v'') = -''v'' となる。したがって原点を[[固定]]する鏡映の[[固有値]]は 1 と −1であることも分かる。

''n'' 次元計量ベクトル空間においても同様に、''v'' の ''a''に直交する原点を含む超平面による鏡映を
:<math>\operatorname{Ref}_a(v) = v - 2\,\frac{v\cdot a}{a\cdot a}\,a</math>
と定義する。

一般に、点''c''を通り、''a''に直交する超平面による鏡映は
:<math>\operatorname{Ref}_{a,c}(v) = v - 2\,\frac{(v-c)\cdot a}{a\cdot a}\,a</math>
と表される。

== 例 ==
''xy'' 平面のベクトル (''x'', ''y'') に対し (''x'', −''y'') を対応させる変換は ''x'' 軸に関する鏡映である。[[ガウス平面]]において複素数 ''z'' = ''x'' + ''yi'' に対する[[複素共役]] <math>\bar{z} = x - y i</math>は実軸に関する鏡映とも見なせる。

== 性質 ==
'''R'''<sup>''n''</sup>の原点を固定する鏡映は線形変換であり、対応する[[行列]]は[[行列式]]が −1 の[[直交行列]]で (1, 1, ..., 1, −1) を[[固有値]]に持つ。

上の定義における式に対する行列は
:<math>R_{ij} = \delta_{ij} - 2\frac{a_i a_j}{\|a\|^2}</math>
を成分とする[[直交行列]]となる。ただし、ここで ''δ''<sub>''ij''</sub>は[[クロネッカーのデルタ]]である。

このような2つの行列の積は特殊直交行列となり、回転を表す。実は逆に、原点を固定するどんな回転も、原点を通る超平面による偶数回の鏡映として表される。また[[直交群]] O(''n'') のどんな元も高々 ''n'' 回の鏡映の積として表され、鏡映の全体は直交群 O(''n'')を生成する。この事実は一般に[[符号数]] (''p'', ''q'') の[[二次形式]]が与えられた線形空間 '''R'''<sup>''p'', ''q''</sup> でも成り立ち、[[カルタン・デュドネの定理|カルタン–デュドネの定理]]として知られている。

同様に、ユークリッド空間の等長変換群はアフィン超平面による鏡映で生成される。一般に、アフィン超平面で生成される[[群 (数学)|群]]は{{仮リンク|鏡映群|en|reflection group}}と呼ばれる。[[コクセター群]]も参照のこと。

== クリフォード代数との関係 ==
クリフォード積 ''v''<sup>2</sup> = |''v''|<sup>2</sup> を使えばベクトル ''v'', ''a'' の内積は ''va'' + ''av'' = 2 (''v''·''a'') と表されるので、''a''を法とする超平面による鏡映は
:<math>\begin{align}
\operatorname{Ref}_a(v) &= v - \frac{2 v \cdot a}{|a|^2}\, a \\
&= v (aa^{-1}) - (va+av) a^{-1} \\
&= (va - va - av) a^{-1} \\
&= -ava^{-1}
\end{align}
</math>
と書ける。直交変換群は鏡映で生成される事実を踏まえると、これはクリフォード代数から直交群への準同型を導く。詳しくは[[クリフォード代数]]を参照。

== 関連項目 ==
* [[ハウスホルダー変換]]
* [[直交行列]]
* [[ルート系]]
* [[ワイル群]]
* [[コクセター群]]
* [[鏡像]]

== 参考文献 ==
{{参照方法|date=2018年7月|section=1}}
*{{Citation | last1=Coxeter | first1=Harold Scott MacDonald | author1-link=:en:Harold Scott MacDonald Coxeter | title=Introduction to Geometry | publisher=[[John Wiley & Sons]] | location=New York | edition=2nd | isbn=978-0-471-50458-0 | id={{MR|123930}} | year=1969}}
*{{MathWorld |title=Reflection |urlname=Reflection}}

{{linear-algebra-stub}}
{{Normdaten}}
{{DEFAULTSORT:きようえい}}
[[Category:対称性]]
[[Category:数学に関する記事]]