酉群
















群论

Rubik's cube.svg

群























  • 查

  • 论

  • 编









李群

E8Petrie.svg






































  • 查

  • 论

  • 编



酉群，又叫幺正群，是李群的一种。在群论中，n{displaystyle n}n阶酉群（unitary group）是n×n{displaystyle ntimes n}ntimes n酉矩阵组成的群，群乘法是矩阵乘法。酉群记作U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}，是一般线性群GL(n,C){displaystyle {text{GL}}(n,mathbf {C} )}{displaystyle {text{GL}}(n,mathbf {C} )}的一个子群。


在最简单情形n=1{displaystyle n=1}n=1，群U(1){displaystyle {text{U}}(1)}{displaystyle {text{U}}(1)}相当于圆群，由所有绝对值为1的复数在乘法下组成的群。所有酉群都包含一个这样的子群。


酉群U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}是一个n2{displaystyle n^{2}}n^{2}维实李群。U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}的李代数由所有复n×n{displaystyle ntimes n}ntimes n斜埃尔米特矩阵组成，李括号为交换子。


一般酉群(也称为酉相似群）由所有复矩阵A{displaystyle A}A使得
A∗A{displaystyle A^{*}A}A^*A是恒同矩阵非零复数倍，这就是酉群与恒同矩阵的正数倍的乘积。




目录






  • 1 性质


  • 2 拓扑


  • 3 相关的群


    • 3.1 三选二性质


    • 3.2 特殊酉群与射影酉群




  • 4 G-结构：殆埃米尔特


  • 5 推广


    • 5.1 不定形式


    • 5.2 有限群


    • 5.3 2阶可分代数


    • 5.4 代数群




  • 6 分类空间


  • 7 参考文献


  • 8 另见





性质


因为酉矩阵的行列式是模长1复数，行列式给出了一个群同态


det:U(n)→U(1){displaystyle det colon mathrm {U} (n)to mathrm {U} (1)}detcolon mathrm{U}(n) to mathrm{U}(1)

这个同态的核是行列式为单位的酉矩阵集合，这个子群称为特殊酉群，记作SU(n){displaystyle {text{SU}}(n)}{displaystyle {text{SU}}(n)}。我们有李群的短正合列：



1→SU(n)→U(n)→U(1)→1{displaystyle 1to mathrm {SU} (n)to mathrm {U} (n)to mathrm {U} (1)to 1,}1to {mathrm {SU}}(n)to {mathrm {U}}(n)to {mathrm {U}}(1)to 1,。

这个短正合列分裂，故U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}可以写成SU(n){displaystyle {text{SU}}(n)}{displaystyle {text{SU}}(n)}与U(1){displaystyle {text{U}}(1)}{displaystyle {text{U}}(1)}的半直积。这里U(1){displaystyle {text{U}}(1)}{displaystyle {text{U}}(1)}是U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}中由diag(eiθ,1,1,⋯,1){displaystyle {mbox{diag}}(e^{itheta },1,1,cdots ,1)}{displaystyle {mbox{diag}}(e^{itheta },1,1,cdots ,1)}形式的矩阵组成的子群。


酉群U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}对n>1{displaystyle n>1}n>1是非交换的。U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}的中心是数量矩阵λI{displaystyle lambda I}{displaystyle lambda I}，这里λ∈U(1){displaystyle lambda in {text{U}}(1)}{displaystyle lambda in {text{U}}(1)}。这由舒尔引理得来。这样中心同构于U(1){displaystyle {text{U}}(1)}{displaystyle {text{U}}(1)}。因为U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}的中心是一个1维阿贝尔正规子群，酉群不是半单的。



拓扑


酉群U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}作为Mn(C){displaystyle M_{n}(mathbf {C} )}{displaystyle M_{n}(mathbf {C} )}的子集赋予相对拓扑，Mn(C){displaystyle M_{n}(mathbf {C} )}{displaystyle M_{n}(mathbf {C} )}是所有n×n{displaystyle ntimes n}ntimes n复矩阵集合，本身同构于2n2{displaystyle 2n^{2}}2n^2维欧几里得空间。


作为一个拓扑空间，U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}是紧连通空间。因为U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}是Mn(C){displaystyle M_{n}(mathbf {C} )}{displaystyle M_{n}(mathbf {C} )}的一个有界闭子集，然后海涅-博雷尔定理可知紧性。欲证U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}是连通的，回忆到任何酉矩阵A{displaystyle A}A能被另一个酉矩阵S{displaystyle S}S对角化。任何对角酉矩阵的对角线上都是绝对值为1的复数。从而我们可以写成



A=Sdiag(eiθ1,…,eiθn)S−1{displaystyle A=S,{mbox{diag}}(e^{itheta _{1}},dots ,e^{itheta _{n}}),S^{-1}}A=S,{mbox{diag}}(e^{{itheta _{1}}},dots ,e^{{itheta _{n}}}),S^{{-1}}。

U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}中从单位到A{displaystyle A}A的一条道路由


t↦Sdiag(eitθ1,…,eitθn)S−1{displaystyle tmapsto S,{mbox{diag}}(e^{ittheta _{1}},dots ,e^{ittheta _{n}}),S^{-1}}tmapsto S,mbox{diag}(e^{ittheta_1},dots,e^{ittheta_n}),S^{-1}

给出。


酉群不是单连通的；对所有n{displaystyle n}n，U(n){displaystyle {text{U}}(n)}{displaystyle {text{U}}(n)}的基本群是无限循环群



π1(U(n))≅Z{displaystyle pi _{1}(U(n))cong mathbf {Z} }pi _{1}(U(n))cong {mathbf {Z}}。

第一个酉群U(1)是一个拓扑圆周，熟知其有同构于Z{displaystyle mathbf {Z} }mathbf{Z}的基本群，包含映射U(n)→U(n+1){displaystyle U(n)to U(n+1)}U(n) to U(n+1)在π1{displaystyle pi _{1}}pi_1上是同构（其商是斯蒂弗尔流形）。


行列式映射det:U(n)→U(1){displaystyle mathrm {det} colon mathrm {U} (n)to mathrm {U} (1)}mathrm{det}colon mathrm{U}(n) to mathrm{U}(1)诱导了基本群的同构，分裂映射U(1)→U(n){displaystyle mathrm {U} (1)to mathrm {U} (n)}mathrm{U}(1) to mathrm{U}(n)诱导其逆。



相关的群



三选二性质


酉群是正交群、辛群与复数群的3重交集：


U(n)=O(2n)∩GL(n,C)∩Sp(2n,R),{displaystyle U(n)=O(2n)cap GL(n,mathbf {C} )cap Sp(2n,mathbf {R} ),}U(n) = O(2n) cap GL(n,mathbf{C}) cap Sp(2n, mathbf{R}),

从而一个酉结构可以视为一个正交结构、复结构与辛结构，他们要求是“一致的”（意思是说：复结构与辛形式使用同样的J{displaystyle J}J，且J{displaystyle J}J是正交的；取定一个J{displaystyle J}J将所有群写成矩阵群便确保了一致性）。


事实上，它是这三个中任何两个的交集；从而一个一致的正交与複结构导致了一个辛结构，如此等等[1][2]。


在方程的层次上，这可以由下面看出




辛：ATJA=J,{displaystyle A^{T}JA=J,}A^TJA = J,


複：A−1JA=J,{displaystyle A^{-1}JA=J,}A^{-1}JA = J,


正交：AT=A−1,{displaystyle A^{T}=A^{-1},}A^T=A^{-1},


任何两个方程蕴含第三个。


在形式的层次上，这可从埃尔米特形式分解为实部与虚部看出：
实部是对称的（或正交），虚部是斜正交（辛）——他们由複结构联系（这便是一致性）。在一个殆凯勒流形上，可以将这个分解写成h=g+iω{displaystyle h=g+iomega }h=g + iomega，这里h{displaystyle h}h是埃尔米特形式，g{displaystyle g}g是黎曼度量，i{displaystyle i}i是殆复结构，而ω{displaystyle omega }omega 是殆辛结构。


从李群的观点来看，这可部分地解释如下：
O(2n){displaystyle O(2n)}O(2n)是GL(2n,R){displaystyle GL(2n,mathbf {R} )}GL(2n,mathbf{R})的极大紧子群，而U(n){displaystyle U(n)}U(n)是GL(n,C){displaystyle GL(n,mathbf {C} )}GL(n,mathbf{C})与Sp(2n){displaystyle Sp(2n)}Sp(2n)的极大紧子群。从而交集O(2n)∩GL(n,C){displaystyle O(2n)cap GL(n,mathbf {C} )}O(2n) cap GL(n,mathbf{C})或O(2n)∩Sp(2n){displaystyle O(2n)cap Sp(2n)}O(2n) cap Sp(2n)是这些群的极大紧子群，即U(n){displaystyle U(n)}U(n)。从这个观点来看，意料之外的是交集GL(n,C)∩Sp(2n)=U(n){displaystyle GL(n,mathbf {C} )cap Sp(2n)=U(n)}GL(n,mathbf{C}) cap Sp(2n) = U(n)。



特殊酉群与射影酉群


PSU-PU.svg

主条目：射影酉群

就像正交群有子群特殊正交群与商群射影正交群PO(n){displaystyle {text{PO}}(n)}{displaystyle {text{PO}}(n)}，以及子商群射影特殊正交群；酉群也有关联的特殊酉群SU(n){displaystyle {text{SU}}(n)}{displaystyle {text{SU}}(n)}，射影酉群PU(n){displaystyle {text{PU}}(n)}{displaystyle {text{PU}}(n)}，以及射影特殊酉群PSU(n){displaystyle {text{PSU}}(n)}{displaystyle {text{PSU}}(n)}。他们的关系如左所示的交换图表；特别地，两个射影群相等：PSU⁡(n)=PU⁡(n){displaystyle operatorname {PSU} (n)=operatorname {PU} (n)}operatorname{PSU}(n) = operatorname{PU}(n)。


上面对经典酉群成立（复数上），对有限域，可以类似地得到特殊酉群与射影酉群，但是一般地PSU⁡(n,q2)≠PU⁡(n,q2){displaystyle operatorname {PSU} (n,q^{2})neq operatorname {PU} (n,q^{2})}operatorname{PSU}(n,q^2) neq operatorname{PU}(n,q^2)。



G-结构：殆埃米尔特


用G-结构的语言来说，一个具有U(n){displaystyle mathrm {U} (n)}mathrm{U}(n)-结构的流形是一个殆埃米尔特流形。



推广


从李群的观点来看，典型酉群是斯坦伯格群2An{displaystyle {}^{2}!A_{n}}{}^2!A_n的实形式，后者是由一般线性群的“图表自同构”（翻转Dynkin diagram An{displaystyle A_{n}}A_{n}，对应于转置逆）与扩张C/R{displaystyle mathbf {C} /mathbf {R} }mathbf{C}/mathbf{R}的域同构（即复共轭）的复合得到的代数群。两个自同构都是代数群的自同构，阶数为2，可交换，酉群作为代数群是乘积自同构的不动点。典型酉群是这个群的实形式，对应于标准埃尔米特形式Ψ{displaystyle Psi }Psi，它是正定的。


这可从几个方面推广：



  • 推广到其它埃尔米特形式得到了不定酉群U⁡(p,q){displaystyle operatorname {U} (p,q)}operatorname{U}(p,q)；

  • 域扩张可用任何2阶可分代数取代，最特别地是一个2阶有限域扩张；

  • 推广到其它图表得出李型群，即其它斯坦伯格群2Dn,2E6,3D4,{displaystyle {}^{2}!D_{n},{}^{2}!E_{6},{}^{3}!D_{4},}{}^2!D_n, {}^2!E_6, {}^3!D_4, （以及2An{displaystyle {}^{2}!A_{n}}{}^2!A_n）Suzuki-Ree群2B2(22n+1),2F4(22n+1),2G2(32n+1){displaystyle {}^{2}!B_{2}left(2^{2n+1}right),{}^{2}!F_{4}left(2^{2n+1}right),{}^{2}!G_{2}left(3^{2n+1}right)}{}^2!B_2left(2^{2n+1}right), {}^2!F_4left(2^{2n+1}right), {}^2!G_2left(3^{2n+1}right)；

  • 考虑一个推广的酉群作为代数群，可取它的点在不同的代数上。



不定形式


类似于不定正交群，给定一个不必正定（但一般取为非退化）的埃尔米特形式，考虑保持这个形式的变换，我们可以定义不定酉群。这里我们在复向量空间上考虑问题。


给定复向量空间V{displaystyle V}V上的一个埃尔米特形式Ψ{displaystyle Psi }Psi，酉群U(Ψ){displaystyle U(Psi )}U(Psi)是保持这个形式的变换群：变换M{displaystyle M}M使得Ψ(Mv,Mw)=Ψ(v,w){displaystyle Psi (Mv,Mw)=Psi (v,w)}Psi(Mv,Mw)=Psi(v,w)，对所有v,w∈V{displaystyle v,win V}v,win V。写成矩阵，设这个形式用矩阵Φ{displaystyle Phi }Phi 表示，这便是说M∗ΦM=Φ{displaystyle M^{*}Phi M=Phi }M^*Phi M = Phi。


就像实数上的对称形式，埃尔米特形式由符号确定，所有都是酉合同于对角线上p{displaystyle p}p个元素为1，q{displaystyle q}q个−1{displaystyle -1}-1的对角矩阵。非退化假设等价于 p+q=n{displaystyle p+q=n}p+q=n。在一组标准基下，这代表二次形式：


‖z‖Ψ2=‖z1‖2+⋯+‖zp‖2−‖zp+1‖2−⋯−‖zn‖2,{displaystyle lVert zrVert _{Psi }^{2}=lVert z_{1}rVert ^{2}+dots +lVert z_{p}rVert ^{2}-lVert z_{p+1}rVert ^{2}-dots -lVert z_{n}rVert ^{2},}lVert z rVert_Psi^2 = lVert z_1 rVert^2 + dots + lVert z_p rVert^2 - lVert z_{p+1} rVert^2 - dots - lVert z_n rVert^2 ,

作为对称形式是：


Ψ(w,z)=w¯1z1+⋯+w¯pzp−w¯p+1zp+1−⋯−w¯nzn,{displaystyle Psi (w,z)={bar {w}}_{1}z_{1}+cdots +{bar {w}}_{p}z_{p}-{bar {w}}_{p+1}z_{p+1}-cdots -{bar {w}}_{n}z_{n},}Psi(w,z) = bar w_1 z_1 + cdots + bar w_p z_p - bar w_{p+1}z_{p+1} - cdots - bar w_n z_n ,

得出的群记为U(p,q){displaystyle U(p,q)}U(p,q)。



有限群


在q=pr{displaystyle q=p^{r}}q=p^r个元素的有限域Fq{displaystyle mathbf {F} _{q}}mathbf {F} _{q}上，有一个惟一的2阶扩张域 Fq2{displaystyle mathbf {F} _{q^{2}}}mathbf{F}_{q^2}，带有2阶自同构α:x↦xq{displaystyle alpha colon xmapsto x^{q}}alphacolon x mapsto x^q（弗罗贝尼乌斯自同构的r{displaystyle r}r次幂）。这使得我们可以定义Fq2{displaystyle mathbf {F} _{q^{2}}}mathbf{F}_{q^2}上一个向量空间V{displaystyle V}V上的埃尔米特形式，是一个Fq{displaystyle mathbf {F} _{q}}mathbf {F} _{q}-双线性映射Ψ:V×V→K{displaystyle Psi colon Vtimes Vto K}Psicolon V times V to K使得Ψ(w,v)=α(Ψ(v,w)){displaystyle Psi (w,v)=alpha left(Psi (v,w)right)}Psi(w,v)=alphaleft(Psi(v,w)right)以及Ψ(w,cv)=cΨ(w,v){displaystyle Psi (w,cv)=cPsi (w,v)}Psi(w,cv)=cPsi(w,v)对c∈Fq2{displaystyle cin mathbf {F} _{q^{2}}}c in mathbf{F}_{q^2}。另外，有限域上向量空间的所有非退化埃尔米特形式都酉合同与用恒同矩阵表示的标准形式。这便是说，任何埃尔米特形式酉等价于


Ψ(w,v)=wα⋅v=∑i=1nwiqvi,{displaystyle Psi (w,v)=w^{alpha }cdot v=sum _{i=1}^{n}w_{i}^{q}v_{i},}Psi(w,v)=w^alpha cdot v = sum_{i=1}^n w_i^q v_i ,

这里wi,vi{displaystyle w_{i},v_{i}}w_i,v_i表示w,v∈V{displaystyle w,vin V}w,v in V在n{displaystyle n}n-维空间V{displaystyle V}V的某个特定Fq2{displaystyle mathbf {F} _{q^{2}}}mathbf{F}_{q^2}-基下的坐标（Grove 2002，Thm. 10.3）。


从而我们对扩张Fq2/Fq{displaystyle mathbf {F} _{q^{2}}/mathbf {F} _{q}}mathbf{F}_{q^2}/mathbf{F}_q可以定义一个（惟一的）n{displaystyle n}n维酉群，记作U(n,q){displaystyle U(n,q)}U(n,q)或U(n,q2){displaystyle Uleft(n,q^{2}right)}Uleft(n,q^2right)（取决于作者的习惯）。酉群中矩阵的行列式为1的子群称为特殊酉群，记作SU(n,q){displaystyle SU(n,q)}SU(n,q)或SU(n,q2){displaystyle SU(n,q^{2})}SU(n,q^2)。为方便起见，本文使用U(n,q2){displaystyle U(n,q^{2})}U(n,q^2)写法。U(n,q2){displaystyle U(n,q^{2})}U(n,q^2)的中心的阶数为q+1{displaystyle q+1}q+1由为酉数量矩阵组成，这便是所有矩阵cIV{displaystyle cI_{V}}cI_V，这里cq+1=1{displaystyle c^{q+1}=1}c^{q+1}=1。特殊酉群的中心的阶数为gcd(n,q+1){displaystyle gcd(n,q+1)}gcd(n,q+1)，由那些阶数整除n{displaystyle n}n的酉数量矩阵组成。酉群除以中心的商称为射影酉群，PU(n,q2){displaystyle PU(n,q^{2})}PU(n,q^2)，特殊酉群除以中心是射影特殊酉群PSU(n,q2){displaystyle PSU(n,q^{2})}PSU(n,q^2)。在大多数情形（n≥2{displaystyle ngeq 2} n geq 2与(n,q2)∉{(2,22),(2,32),(3,22)}{displaystyle (n,q^{2})notin {(2,2^{2}),(2,3^{2}),(3,2^{2})}}(n,q^2) notin { (2,2^2), (2,3^2), (3,2^2) }），SU(n,q2){displaystyle SU(n,q^{2})}SU(n,q^2)是完全群而PSU(n,q2){displaystyle PSU(n,q^{2})}PSU(n,q^2)是有限单群（Grove 2002，Thm. 11.22 and 11.26）。



2阶可分代数


更一般地，给定一个域k{displaystyle k}k与一个2阶可分k{displaystyle k}k-代数K{displaystyle K}K（可能是一个域扩张但也未必），我们可以定义关于这个扩张的酉群。


首先，存在K{displaystyle K}K的惟一k{displaystyle k}k-自同构a↦a¯{displaystyle amapsto {bar {a}}}a mapsto bar a是一个对合且恰好不动元为k{displaystyle k}k（a=a¯{displaystyle a={bar {a}}}a=bar a当且仅当a∈k{displaystyle ain k}a in k)[3]。这是复共轭与2阶有限域扩张共轭的推广，从而我们可以在它上面的定义埃尔米特形式与酉群。



代数群


定义酉群的方程是一些k{displaystyle k}k上的多项式方程（但不是在k{displaystyle k}k上）：对标准形式
Φ=I{displaystyle Phi =I}Phi=I，这些方程由矩阵A∗A=I{displaystyle A^{*}A=I}A^*A=I给出，这里A∗=A¯t{displaystyle A^{*}={overline {A}}^{t}}{displaystyle A^{*}={overline {A}}^{t}}是共轭转置。给定另外一个形式，它们是A∗ΦA=Φ{displaystyle A^{*}Phi A=Phi }A^*Phi A=Phi。从而酉群一个代数群，它在一个k{displaystyle k}k-代数R{displaystyle R}R上的点由


U⁡(n,K/k,Φ)(R):={A∈GL⁡(n,K⊗kR):A∗ΦA=Φ}{displaystyle operatorname {U} (n,K/k,Phi )(R):=left{Ain operatorname {GL} (n,Kotimes _{k}R):A^{*}Phi A=Phi right}}operatorname{U}(n,K/k,Phi)(R)<br /> := left{ Ain operatorname{GL}(n,Kotimes_k R) : A^*Phi A=Phiright}

给出。


对域扩张C/R{displaystyle mathbf {C} /mathbf {R} }mathbf{C}/mathbf{R}与标准（正定）埃尔米特形式，这得出了具有实点与复点的代数群：



U⁡(n,C/R)(R)=U⁡(n),{displaystyle operatorname {U} (n,mathbf {C} /mathbf {R} )(mathbf {R} )=operatorname {U} (n),}operatorname {U}(n,{mathbf {C}}/{mathbf {R}})({mathbf {R}})=operatorname {U}(n),


U⁡(n,C/R)(C)=GL⁡(n,C){displaystyle operatorname {U} (n,mathbf {C} /mathbf {R} )(mathbf {C} )=operatorname {GL} (n,mathbf {C} )}operatorname {U}(n,{mathbf {C}}/{mathbf {R}})({mathbf {C}})=operatorname {GL}(n,{mathbf {C}})。



分类空间


关于U(n)的分类空间在条目U(n)的分类空间中描述。



参考文献




  1. ^ 弗拉基米尔·阿诺尔德《经典力学中的数学方法（Mathematical Methods of Classical Mechanics）》讨论了这个问题。


  2. ^ symplectic


  3. ^ Milne, Algebraic Groups and Arithmetic Groups, p. 103



  • Grove, Larry C., Classical groups and geometric algebra, Graduate Studies in Mathematics 39, Providence, R.I.: 美国数学学会, 2002, ISBN 978-0-8218-2019-3, MR1859189 


另见



  • 特殊酉群

  • 射影酉群

  • 正交群

  • 辛群




Comments

Post a Comment

Popular posts from this blog

Information security

Image
This article is part of a series on Information security Related security categories Internet security Cyberwarfare Computer security Mobile security Network security Threats Computer crime Vulnerability Eavesdropping Malware Spyware Ransomware Trojans Viruses Worms Rootkits Bootkits Keyloggers Screen scrapers Exploits Backdoors Logic bombs Payloads Denial of service Defenses Computer access control Application security Antivirus software Secure coding Secure by default Secure by design Secure operating systems Authentication Multi-factor authentication Authorization Data-centric security Encryption Firewall Intrusion detection system Mobile secure gateway Runtime application self-protection (RASP) v t e Information security , sometimes shortened to InfoSec , is the practice of preventing unauthorized access, use, disclosure, disruption, modification, inspection, recording or destruction of information. Th
Read more

章鱼与海女图

Image
本条目 可参照英語維基百科相應條目来扩充 。 （2014/5/25） 若您熟悉来源语言和主题，请协助参考外语维基扩充条目。请勿直接提交机械翻译，也不要翻译不可靠、低品质内容。依版权协议，译文需在编辑摘要注明来源，或于讨论页顶部标记 {{Translated page}} 标签。 本条目 需要擴充。 （2013年8月15日） 请協助改善这篇條目，更進一步的信息可能會在討論頁或扩充请求中找到。请在擴充條目後將此模板移除。 《 章鱼与海女 》（日语： 蛸と海女 ／ たことあま   Tako to ama ）是一幅由日本畫家葛饰北斋创作的浮世绘，出自1814年（文化4年）出版的艳本《喜能会之故真通》（日语： 喜能会之故真通 ／ きのえのこまつ   Kinoe no Komatsu ）。畫中有兩隻章鱼以觸手攻擊一名採珠的海女，並進行擬似戀獸癖的交媾行為。作品尺寸为6½" × 8¾" （16.51 cm × 22.23 cm）。 [1] 在此之前的类似作品还有北尾重政的艳本《謡曲色番組》及勝川春潮的艳本《艳本千夜多女志》等，有被北斋作为参考的可能性。 《章鱼与海女图》有不同英文翻译，一般称The Dream of the Fisherman's Wife，又作Girl Diver and Octopi、Diver and Two Octopi，Richard Douglas Lane称其为 Girl Diver and Octopi [2] ，Mathi Forrer 称其为 Pearl Diver and Two Octopi [3] ，Danielle Talerico 称其为 Diver and Two Octopi 。 [4] 目录 1 作品介绍 1.1 画中对话 1.2 解释 2 评价 3 影响 3.1 模仿作品 4 另见 5 参考来源 6 外部連結 作品介绍 画中对话 原文 译文 大蛸： いつぞハいつぞハとねらいすましてゐたかいがあつて、けふといふけふ、とうとうとらまへたア。てもむつくりとしたいいぼぼだ。いもよりハなをこうぶつだ。サアサア、すつてすつてすいつくして
Read more

Farm Security Administration

Image
Farm Security Administration Farm Security Administration logo Agency overview Formed September 1, 1937  ( 1937-09-01 ) Preceding agencies Resettlement Administration Federal Emergency Relief Administration Dissolved 1946 Superseding agency Farmers Home Administration Key documents Farm Security Act Bankhead-Jones Farm Tenant Act The Farm Security Administration ( FSA ) was a New Deal agency created in 1937 to combat rural poverty during the Great Depression in the United States. It succeeded the Resettlement Administration (1935–1937). [1] The FSA stressed "rural rehabilitation" efforts to improve the lifestyle of sharecroppers, tenants, very poor landowning farmers, and a program to purchase submarginal land owned by poor farmers and resettle them in group farms on land more suitable for efficient farming. Critics, including the Farm Bureau, strongly opposed the FSA as an experiment in collectivizing agriculture—that is, in bringing
Read more