1 概念の基礎
1.1 定義
対称性とは、対象または現象に対してある変換を加えても、その本質的な特徴が変わらないという性質を指す。ここでいう「本質的」とは、観測者が関心を持つ量や構造が保持されることを意味し、何を不変とみなすかで対称性の捉え方が変わる。
数学的には、対象が持つ構造と、その構造を乱さない変換の集合として定式化されることが多い。物理では、対称性が成り立つときに許される法則の形が制約され、予測可能な関係が導かれる。
1.2 変換と不変性
対称性は「変換」と「不変性」の組で理解される。変換は対象に作用して、新たな状態や記述を生成する操作であり、不変性はその結果として、特定の量や関係が同じ値・同じ形を保つことを表す。
不変性の種類は一つではない。たとえば、形状のまるごとの一致を求める場合もあれば、分布や確率のように統計的に同等であることを求める場合もある。どのレベルの不変性を採用するかは、研究目的と対象の性質に依存する。
1.3 対称性の種類
対称性の区分は複数の観点から可能である。もっとも基本的には、対象に作用する変換の幾何学的な性質（回転・平行移動・反転など）や、変換の集合が有限か無限か（離散か連続か）で分類される。
さらに、対称性が単に数理的に存在するだけでなく、実際の現象の振る舞いを支配するかどうかも重要になる。しばしば、理論に対称性がある一方で、状態がそれを十分に示さないことがあり、その差異が「対称性の破れ」として現れる。
1.3.1 回転対称性
回転対称性とは、対象がある回転操作を受けても同一視できる特徴を保つ性質である。たとえば円や正多角形は回転角を変えても見え方が変わらない部分を持つ。
回転対称性の程度は回転角の許容数で表される。無限に細かな回転でも同じなら連続的な性質となり、特定の角度のみ一致するなら離散的な性質となる。物理では、この対称性が成分や向きの取り扱いに制約を与え、許容される運動の型を絞り込む。
1.3.2 平行移動対称性
平行移動対称性は、空間中のどこかを基準にして対象をずらしても、規則や形の特徴が同じであることを意味する。直線状に同じ模様が無限に続く理想化は典型例である。
この対称性が成り立つとき、位置に依存しない記述が自然に現れる。エネルギーや力の形などが位置によらず一定である状況では、平行移動が変化を生まないため、理論の整理が進む。実在系では境界や外場によって破れることが多く、完全な対称性は近似として扱われることも多い。
1.3.3 反転対称性
反転対称性は、座標や空間の向きを反転するような変換を施しても、対象の特徴が保持される場合に現れる。たとえば鏡映（鏡に写す）と混同されがちだが、厳密には反転の種類には複数がある。
反転は、物理では符号が反転する性質を含むため、観測される量の変化と対応づけて理解される。たとえば特定の場の性質や相互作用の選択則に関わり、ある種の項が現れたり消えたりする要因となる。
1.3.4 連続対称性と離散対称性
連続対称性とは、変換パラメータを連続的に動かしても不変性が保たれる性質である。回転で任意の角度が許される場合などが該当する。
離散対称性は、変換が有限個または可算個の選択肢に限られるときに使われる。たとえば正多角形の回転は離散的な回転角の集合で記述される。科学的には、連続対称性は制約が強く、数学的には連続群として体系化されやすい一方、離散対称性は特定の操作による選別として現れることが多い。
2 数学における対称性
2.1 群論との関係
対称性の核心は「どの変換が構造を保つか」にある。これを体系的に扱う枠組みとして群論が用いられる。
2.1.1 群の基本概念
群は、合成可能な変換の集合と見なせる数学的対象である。交換法則が成り立たない場合もあり、重要なのは合成が閉じていること、結合則が満たされること、単位変換が存在すること、逆変換があることの四点である。
対称性の変換は、何度か繰り返しても同じ型の変換として働き、初めに戻る逆操作も用意される。これらの性質が満たされるため、対称性は群として整理できる。
2.1.2 対称群
対称群は、要素の並び替えに関する群として知られる。有限個の対象のラベルを交換しても区別できない状況では、どの置換が許されるかが対称性として現れる。
幾何や組合せ論では、図形や構造の自己同型の集合が対称群の役割を果たすことがある。とくに、対象を固定して見たときに保たれる配置の自由度は、群の元として表現される。
2.2 幾何学的対称性
幾何学的な対称性は、空間内の点や図形に対する変換として扱いやすい。回転・反射・平行移動・滑り反射などの操作が中心となる。
2.2.1 図形の対称軸
対称軸とは、反射によって図形が一致するような直線のことである。たとえば二等辺三角形は特定の軸を持ち、左右の対応が作れる。
対称軸の数や存在は、形の種類を特徴づける。さらに、対称軸が複数ある場合は、その組合せとして回転対称性が導かれることも多い。幾何ではこの相互関係が分類の道具になる。
2.2.2 多面体の対称性
多面体の対称性は、回転や反転を含む自己変換として記述される。多面体が持つ面・辺・頂点の配置が、変換後にも同じ関係を保つなら、その変換は対称性となる。
代表的な例として、正多面体では高い対称性が実現され、面や頂点の対応が多数の仕方で一致する。対称性の分類は、群の表現や対称操作の組合せとして整理され、図形の性質の理解を容易にする。
2.3 代数的対称性
代数的観点では、式や方程式が変換に対して同じ形を保つ性質が対称性として扱われる。
2.3.1 方程式の対称性
方程式の対称性は、未知変数の取り換えや変数変換によって、解の集合や方程式の形式が変わらないこととして現れる。変数の置換が解の構造に影響を与えないなら、対称性があるといえる。
この考え方は、方程式の解法や構造の分類に役立つ。特に多変数の方程式では、変換の選び方によって同じタイプの問題がまとめて扱える場合がある。
2.3.2 多項式と対称式
対称式は、変数の置換に対して値が不変である多項式である。たとえば複数の変数を入れた式でも、入れ替えたときに同じ値が保たれるなら、その式は対称的と見なされる。
対称式は、基本対称式と呼ばれる特定の生成元で表せることがある。これにより複雑な式の構造が整理され、未知数の数が増える状況でも体系的な表現が可能になる。
3 物理学における対称性
3.1 空間対称性
空間対称性は、空間座標に関連する変換を行っても物理法則の形が変わらないという考え方に基づく。
3.1.1 回転対称性と保存則
回転対称性が成り立つとき、方向による区別が物理法則には存在しない。すると運動の記述に対して制約が生まれ、結果としてある量が保存される。
この対応は、一般にノートルの定理として知られる枠組みと結びつく。具体的には、回転に対する不変性が角運動量の保存として現れる。量子系でも同様に、対称性が演算子の性質に反映される。
3.1.2 並進対称性と運動量保存
並進対称性とは、位置を一様にずらしても法則の形が変わらない性質である。これが成立すると、系の運動の記述が空間のどこに置かれても同様になる。
その結果として、運動量に関連する保存則が導かれる。物理モデルでは、外場が存在して並進対称性が弱まると、保存則が完全には成立せず、時間変化として観測されることがある。
3.2 時間対称性
時間対称性は、時刻に関する変換に対して法則が変わらないかどうかに注目する。
3.2.1 時間並進対称性
時間並進対称性は、時刻を一定だけずらしても方程式の形が変わらない場合に用いられる。理想化した閉じた系では、状態の時間発展が時間原点の選び方に依存しないことが多い。
この性質があると、エネルギーに関する保存が現れやすい。実験では外部からの時間依存の刺激が加わることで対称性が破れ、エネルギーのやりとりが観測される。
3.2.2 エネルギー保存との関係
時間並進対称性とエネルギー保存は密接に結びつけられる。法則が時間のどこから見ても同じであれば、エネルギーの変化を生む「時間の目盛りそのものへの依存」が排除される。
そのため、系のエネルギーを定義できる状況では保存則として現れる。場の理論ではエネルギー密度や流れの形に現れ、連続体の記述と整合的な形で理解される。
3.3 離散対称性
離散対称性は、連続パラメータではなく特定の離散的変換によって不変性が保たれる場合に対応する。
3.3.1 反転対称性
反転対称性は、座標の反転に対応する変換により物理的記述が同等になる状況である。量や相互作用が符号反転に対してどのように振る舞うかが重要になる。
この対称性が成り立つとき、許される反応や生成の形が制約される。対称性が壊れると、しばしば観測可能な差が生じ、理論の検証に用いられる。
3.3.2 反粒子との関係
反粒子に関する対称性は、粒子の記述が特定の反転操作と結びつく形で現れる。ここでは「粒子と対応する反対称な状態がどのように同じ法則で記述されるか」という観点が中心となる。
物理学では、この対応が場の変換として定式化され、量の変換則が定められる。これにより、相互作用の対称性がどのように成立・破れ得るかが整理される。
3.4 対称性の破れ
対称性の破れとは、理論や法則が対称であるにもかかわらず、実際に選ばれた状態がその対称性を反映しない状況を指す。
3.4.1 自発的対称性の破れ
自発的対称性の破れでは、方程式の対称性は保たれているが、基底状態や真空の選び方がそれを隠す。結果として、観測される物理量は対称的でない形で現れる。
理解のためには、順序パラメータの概念が役立つ。ある量が非ゼロの値を取り、その方向や符号が選ばれることで、対称性が実効的に失われる。対称性の多様な取り扱いは、相の分類にも関わる。
3.4.2 対称性の破れと相転移
相転移では、物質が異なる相へ移り、対称性の見え方が変わることがある。たとえば高温側では対称性が保たれているが、冷却によって不変性が崩れたように観測されるケースがある。
このとき、秩序の出現や相関長の変化が同時に生じることが多い。理論的には、対称性に基づく有効自由エネルギーの形が変化を導くため、臨界現象の理解に対称性が深く関わる。
4 他分野への応用
4.1 化学における分子対称性
化学では、分子の形や配置が示す対称性が、性質の理解や分類に利用される。
4.1.1 分子の点群
分子の点群は、分子に対して同一視できる対称操作の集合として定義される。回転、反射、反転などがどのように適用できるかを整理し、分子ごとの対称性を表す。
点群が決まると、分子の軌道や振動の分類が進みやすくなる。計算化学やスペクトル解析では、対称性による整理が計算負荷を軽減し、解釈の精度を高める利点がある。
4.1.2 スペクトルとの関係
分子の振動や回転に関するエネルギー準位は、対称性によって選択則が変わる。結果として、分光学で観測される遷移の可否や強度に差が生じる。
同じ種類の原子を含む場合でも、配置の対称性が異なるとスペクトルの特徴が変化する。したがって、スペクトルデータから分子対称性を推定することも可能になり、同定の補助として機能する。
4.2 生物学における対称性
生物では、形態や構造に見られる対称性が発生過程や機能と関係している場合がある。
4.2.1 形態形成
形態形成の過程は、細胞や組織の配置が時間とともに変化していく記述として扱われる。対称性は、その配置がどの方向に対して均一か、どの領域で選択が起きたかを示す手がかりになる。
完全な対称が常に保たれるとは限らない。発生段階では微小な揺らぎが増幅され、結果として局所的な非対称が形成されることもある。にもかかわらず、初期の対称性がどのような設計図を与えているかが重要となる。
4.2.2 左右相称と放射相称
左右相称は、身体の左右で対応関係が見えるタイプの対称性である。多くの動物で観察され、運動器官や感覚器官の配置に影響する。
一方、放射相称は中心を軸にして複数方向に同様の構造が並ぶ形に対応する。どちらの対称性が見られるかは、体の作られ方や器官配置の戦略に反映される。進化的な要因と発生機構が絡むため、単純な説明では済まない点が特徴である。
4.3 美術とデザイン
美術やデザインでは、対称性が視覚の安定感やリズムを生み出す要因として活用される。
4.3.1 構図における対称性
構図に対称性を取り入れると、鑑賞者の視線は要素間の対応を追いやすくなる。完全対称は形式的で整った印象を与え、偏りを少し含めた近似対称は緊張感や動きを生みやすい。
ただし、対称性が強すぎると単調に見えることもある。そこで中心からの変化や、非対称要素の挿入によってバランスを調整する手法が用いられる。
4.3.2 装飾文様と反復
装飾文様では、対称性と反復が結びついて視覚的なパターンが構成される。平面上での並進的な繰り返しや、反射による鏡像的な展開が用いられることが多い。
反復がもたらす規則性は、文化や素材の制約に対応しながら形を整える役割を持つ。対称性のパターンは、装飾が持つ機能面だけでなく、記号としての意味づけにも関わる場合がある。
5 関連する概念
5.1 不変量
不変量とは、対称変換を行っても値が変化しない量のことである。対象を特徴づけるための指標として、対称性と強く結びつく。
たとえば回転に対して不変な量は、向きに依存しない特徴を表す。こうした量を見つけることで、同じ対称性を持つ場合の比較が容易になる。理論解析では、不変量を基準に状態の分類や計算の簡略化が進む。
5.2 保存則
保存則は、時間発展の中で特定の物理量が変わらないという主張である。対称性が成り立つと保存則が現れる、という対応が体系化されている。
保存則は、測定可能な量の枠組みを提供し、複雑な運動でも制約のもとに予測できるようにする。対称性が破れると、保存が完全ではなくなるため、実験上の差として現れることがある。
5.3 パターンと秩序
対称性は秩序立ったパターンを生む原因になり得る。周期性や規則性のある配置は、見通しの良さや構造の理解に役立つ。
ただし秩序と対称性は同義ではない。秩序は視覚的・統計的な整合性として現れるのに対し、対称性は特定の変換に対する不変性として定義される。関連は強いものの、必ずしも一致しない点がある。
5.4 対称性の数学的表現
対称性の数学的表現では、対象の自己変換を構成し、その集合構造を扱うことが中心となる。群や作用、表現論などがしばしば用いられる。
また、対称性は幾何的な変換としてだけでなく、場の量に対する演算子変換や、ラグランジアン・ハミルトニアンの不変性としても定式化される。どの表現を選ぶかで、計算の方法や解釈のしやすさが変わる。