跳到主要内容

千葉大学 融合理工学府 数学情報科学専攻 数学・情報数理学コース 2019年8月実施 専門 A0

Author

祭音Myyura (co-authored with GPT 6 Astra)

Description

空でない集合 XX に対し、自己写像全体を M(X)M(X)、単射全体を I(X)I(X)、全単射全体を B(X)B(X) とする。f,gM(X)f,g\in M(X) に対して

fBg    pB(X):pf=g,f\sim_Bg\iff\exists p\in B(X):p\circ f=g,

と定め、I,M\sim_I,\sim_M もそれぞれ pI(X),pM(X)p\in I(X),p\in M(X) として同様に定める。

(1) B\sim_B が同値関係であることを示せ。(2) XX が有限の場合と X=NX=\mathbb N の場合に、I\sim_I が同値関係か否か理由付きで答えよ。(3) fIgf\sim_Ig ならば任意の x,yx,y について f(x)=f(y)    g(x)=g(y)f(x)=f(y)\iff g(x)=g(y) を示せ。(4) fMgf\sim_Mg と、任意の x,yx,y について f(x)=f(y)g(x)=g(y)f(x)=f(y)\Rightarrow g(x)=g(y) となることは同値であることを示せ。

题目描述

在非空集合 XX 的自映射集上,根据是否可以在左侧复合双射、单射、任意映射将 ff 变成 gg,分别定义三个关系。(1) 证明双射关系为等价关系。(2) 判断有限集和自然数集上单射关系是否为等价关系。(3) 证明单射关系保持纤维相等性。(4) 证明任意映射关系等价于 ff 的纤维包含于 gg 的纤维。

Kai

(1) 恒等写像、全単射の逆写像、全単射の合成を用いれば、それぞれ反射律、対称律、推移律が成立する。

(2) XX が有限なら I(X)=B(X)I(X)=B(X) なので同値関係である。X=NX=\mathbb N では f(n)=n,g(n)=n+1f(n)=n,g(n)=n+1 とすると fIgf\sim_Ig。しかし qg=fq\circ g=f なら q(n+1)=nq(n+1)=n であり、q(2),q(3),q(2),q(3),\ldots だけで全自然数を使い尽くすため q(1)q(1) を単射性を保って定められない。従って対称律が成立せず、同値関係でない。

(3) g=pfg=p\circ fpp の単射性から

g(x)=g(y)    p(f(x))=p(f(y))    f(x)=f(y).g(x)=g(y)\iff p(f(x))=p(f(y))\iff f(x)=f(y).

(4) g=pfg=p\circ f ならば主張の含意は明らか。逆にその含意を仮定する。f(X)f(X) 上で p(f(x))=g(x)p(f(x))=g(x) と定めると、仮定により矛盾がない。aXa\in X を一つ固定し、Xf(X)X\setminus f(X) 上では p=ap=a と定めれば、自己写像 pp が得られ pf=gp\circ f=g