2021-01-13から1日間の記事一覧
●補題5.56\[g[\xi\mapsto a][\zeta\mapsto b]=g[\zeta\mapsto b][\xi\mapsto a]\](証明)左辺の写像を\(g_1\)、右辺の写像を\(g_2\)とし、任意の変項\(\eta\)に対し\(g_1(\eta)=g_2(\eta)\)となることを示す。\(\xi\not\equiv\zeta\)により、\(g_1(\xi)\)お…
●補題5.56\[g[\xi\mapsto a][\zeta\mapsto b]=g[\zeta\mapsto b][\xi\mapsto a]\](証明)左辺の写像を\(g_1\)、右辺の写像を\(g_2\)とし、任意の変項\(\eta\)に対し\(g_1(\eta)=g_2(\eta)\)となることを示す。\(\xi\not\equiv\zeta\)により、\(g_1(\xi)\)お…