出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/07/28 09:29 UTC 版)
対称性・反対称性・交代性
写像
が
- 対称的 (symmetric) であるとは、2つのベクトルを交換しても結果が変わらないことをいう:
![{\displaystyle f(x_{1},\dots ,x_{k})=f(x_{1},\dots ,x_{i-1},x_{j},x_{i+1},\dots ,x_{j-1},x_{i},x_{j+1},\dots ,x_{k}).}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/8bed1bff7891bbecc36d5bca63b9ef10d2c05d12)
- 反対称的 (antisymmetric) であるとは、2つのベクトルを交換すると得られる結果が符号が逆になることをいう:
![{\displaystyle f(x_{1},\dots ,x_{k})=-f(x_{1},\dots ,x_{i-1},x_{j},x_{i+1},\dots ,x_{j-1},x_{i},x_{j+1},\dots ,x_{k}).}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/2a124c804852254dac07b9767a01a75d1297ebc1)
- 交代的 (alternating) であるとは、2つのベクトルが同じであるとき結果が 0 になることをいう:
![{\displaystyle [\exists i\neq j,x_{i}=x_{j}]\implies f(x_{1},\dots ,x_{k})=0.}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/57ac1ac23c4e535c1b2478ee8f6d8f9a74395075)
明らかに、交代多重線型写像は反対称である。逆に、反対称多重線型写像は標数 2 でないとき交代、標数 2 のときは対称になる。反対称性のことを交代性と呼ぶこともしばしばある。
より一般に、文字 {1, …, k} の置換の成す対称群
の Lk(E; F) への作用を
![{\displaystyle {\mathfrak {S}}_{k}\times L_{k}(E;F)\to L_{k}(E;F)\colon (\sigma ,f)\mapsto \sigma f(x_{1},\ldots ,x_{k})=(x_{\sigma (1)},\ldots ,x_{\sigma (k)}),}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/99e8adf31a3f166977344cb61476fe6894e239a9)
即ち k-重線型写像の k 個の引数の置換として定める(σ(τf) = (στ)f となることに注意せよ)とき、f ∈ Lk(E; F) が
- 対称であるとは、∀σ に対して σf = f となること;
- 反対称であるとは、∀σ に対して σf = sgn(σ)f となること
と述べられる。ここに sgn(σ) は置換 σ の符号である。
逆に、
の作用の平均化を行うことにより、対称化作用素
![{\displaystyle S\colon f\mapsto Sf:=\sum _{\sigma \in {\mathfrak {S}}_{k}}\sigma f}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/c709752c6e15b69e5f676896693af47a991cb9ca)
および反対称化作用素
![{\displaystyle A\colon f\mapsto Af:=\sum _{\sigma \in {\mathfrak {S}}_{k}}\operatorname {sgn}(\sigma )\,\sigma f}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/7544778833ec233753a6cc9af27739d61dc3794e)
を定めれば、任意の k-重線型写像 f を対称化 Sf および反対称化 Af することができる。しばしばこれらの作用素が冪等であるようにするために、k! で割る文献もある(が、それは正標数の体では常に可能とは限らない)。