[wiki:\uc120\ud615\ub300\uc218\ub0b4\uc6a9: \uc704\ub85c] <\/p>\n
1\ub3001\ub300\uc751\uad00\uacc4(=\uc804\ub2e8\uc0ac\ud568\uc218=bijective fucntion=bijection)\ub780 \ub450 \uc9d1\ud569 \uc0ac\uc774\uc758 \ud568\uc218\ub85c\uc11c \ub2e8\uc0ac(1\ub3001;one-to-one;injective)\uc778 \ub3d9\uc2dc\uc5d0 \uc804\uc0ac(onto;surjective)\uc778 \uac83\uc774\ub2e4. <\/p>\n
\ud568\uc218 \\(f:X\\to Y\\) <\/p>\n
\uc5d0 \ub300\ud558\uc5ec \uc704\uc640 \ub3d9\uce58\uc778 \uc870\uac74\uc73c\ub85c \ub2e4\uc74c\uc744 \ub4e4 \uc218 \uc788\ub2e4. <\/p>\n
There exists a function \\(g:Y\\to X\\) such that \\(g\\circ f=\\text{id}_X\\) and \\(f\\circ g=\\text{id}_Y\\). <\/p>\n
\uc989 \ud568\uc218 \\(f\\) <\/p>\n
\uc758 \uc5ed\ud568\uc218\uac00 \uc874\uc7ac\ud558\ub294 \uac83\uc774\ub2e4. <\/p>\n<\/div>\n
\ud568\uc218 <\/p>\n
\\(f:X\\to Y\\) <\/p>\n
\uac00 \ub2e8\uc0ac\ud568\uc218(one-to-one)\ub77c \ud568\uc740 \uc784\uc758\uc758 <\/p>\n
\\(x, y\\in X\\) <\/p>\n
\uc5d0 \ub300\ud558\uc5ec <\/p>\n
\\(f(x)=f(y)\\) <\/p>\n
\uc774\uba74 <\/p>\n
\\(x=y\\) <\/p>\n
\ub77c\ub294 \ub73b\uc774\ub2e4. <\/p>\n<\/div>\n<\/div>\n
\ud568\uc218 <\/p>\n
\\(f:X\\to Y\\) <\/p>\n
\uac00 \uc804\uc0ac\ud568\uc218(onto)\ub77c \ud568\uc740 \uc784\uc758\uc758 <\/p>\n
\\(y\\in Y\\) <\/p>\n
\uc5d0 \ub300\ud558\uc5ec \uc801\ub2f9\ud55c \uc6d0\uc18c <\/p>\n
\\(x\\in X\\) <\/p>\n
\uac00 \uc874\uc7ac\ud558\uc5ec <\/p>\n
\\(y=f(x)\\) <\/p>\n
\ub85c \ub41c\ub2e4\ub294 \ub73b\uc774\ub2e4. <\/p>\n<\/div>\n<\/div>\n
\uc774\ub7ec\ud55c \uc790\ub9ac\ub9e4\uae40\uc740 \uc8fc\uc5b4\uc9c4 \ud568\uc218\uac00 \uc9d1\ud569\uc758 \uc6d0\uc18c\ub4e4\uacfc \uac16\ub294 \uc870\uac74(\ub2e8\uc0ac,\uc804\uc0ac,\uc804\ub2e8\uc0ac)\uc744 \uc6d0\uc18c\ub97c \uc5b8\uae09\ud558\uc9c0 \uc54a\uace0 \ud568\uc218\ub9cc\uc73c\ub85c \uae30\uc220\ud560 \uc218 \uc788\ub2e4\ub294 \uc810\uc5d0\uc11c \ub9e4\uc6b0 \ud2b9\ubcc4\ud558\ub2e4. \uc774\ub7ec\ud55c \uc810\uc740 \ubca1\ud130\uc758 \uc131\uc9c8\uc744 \uc120\ud615\ud568\uc218\ub9cc \uac00\uc9c0\uace0 \uc774\uc57c\uae30\ud558\ub294 \uac83\uacfc \uc720\uc0ac\ud558\ub2e4. \uc774\ub7ec\ud55c \uad00\uc810\uc5d0\uc11c \uc218\ud559\uc744 \uae30\uc220\ud558\ub294 \ubc95\uc740 20\uc138\uae30 \uad6c\uc870\uc8fc\uc758 \uc218\ud559\uc758 \uc911\uc2ec\uc744 \uc774\ub8ec\ub2e4. (\uc774\ub7ec\ud55c \ub0b4\uc6a9\uc740 \uac04\ub2e8\ud788\ub294 \uc9d1\ud569\ub860 \uac15\uc758\uc5d0\uc11c \ub354\uc6b1 \uc804\ubb38\uc801\uc73c\ub85c\ub294 \ud638\ubab0\ub85c\uc9c0\uc774\ub860\uacfc Category\uc774\ub860\uc5d0\uc11c \uacf5\ubd80\ud560 \uc218 \uc788\ub2e4.) <\/p>\n
20\uc138\uae30 \uc218\ud559\uc740 \uc774\ub7ec\ud55c \uad00\uc810\uc5d0\uc11c \ud1b5\ud569\ub418\uc5b4 \uc218\ud559\uc758 \ucd94\uc0c1\ud654\ub97c \ud1b5\ud55c \ud68d\uae30\uc801 \ubc1c\uc804\uc744 \uc774\ub8e8\uc5c8\uc73c\ub098 \uc774\ub7ec\ud55c \uc774\ub860 \uc790\uccb4\ub294 \uc774\ubbf8 \uc218\ud559\uc758 \uc5b8\uc5b4\uac00 \ub418\uc5b4\ubc84\ub838\uc73c\uba70 \uadf8 \uad6c\uc870\ub97c \uae30\uc220\ud558\ub294 \ubc95 \uc790\uccb4\uc5d0 \ub300\ud55c \uc5f0\uad6c\ub294 \uc774\uc81c\ub294 \ub354\uc774\uc0c1 \ub9ce\uc774 \ud558\uace0 \uc788\uc9c0 \uc54a\ub2e4. <\/p>\n
[wiki:\uc120\ud615\ub300\uc218\ub0b4\uc6a9: \uc704\ub85c] <\/p>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"
[wiki:\uc120\ud615\ub300\uc218\ub0b4\uc6a9: \uc704\ub85c] 1\ub3001 \ub300\uc751\uad00\uacc4 OneToOneCorrespondence 1\ub3001\ub300\uc751\uad00\uacc4(=\uc804\ub2e8\uc0ac\ud568\uc218=bijective fucntion=bijection)\ub780 \ub450 \uc9d1\ud569 \uc0ac\uc774\uc758 \ud568\uc218\ub85c\uc11c \ub2e8\uc0ac(1\ub3001;one-to-one;injective)\uc778 \ub3d9\uc2dc\uc5d0 \uc804\uc0ac(onto;surjective)\uc778 \uac83\uc774\ub2e4. \ud568\uc218 \\(f:X\\to Y\\) \uc5d0 \ub300\ud558\uc5ec \uc704\uc640 \ub3d9\uce58\uc778 \uc870\uac74\uc73c\ub85c \ub2e4\uc74c\uc744 \ub4e4 \uc218 \uc788\ub2e4. There exists a function \\(g:Y\\to X\\) such that \\(g\\circ f=\\text{id}_X\\) and \\(f\\circ g=\\text{id}_Y\\). \uc989 \ud568\uc218 \\(f\\) \uc758 \uc5ed\ud568\uc218\uac00 \uc874\uc7ac\ud558\ub294 \uac83\uc774\ub2e4. \ub2e8\uc0ac\ud568\uc218 \ud568\uc218 \\(f:X\\to Y\\) \uac00 \ub2e8\uc0ac\ud568\uc218(one-to-one)\ub77c \ud568\uc740 \uc784\uc758\uc758 … \ub354 \uc77d\uae30<\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-3726","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"distributor_meta":false,"distributor_terms":false,"distributor_media":false,"distributor_original_site_name":"\uae40\uc601\uc6b1","distributor_original_site_url":"https:\/\/mathematicians.korea.ac.kr\/ywkim","push-errors":false,"_links":{"self":[{"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/posts\/3726","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/comments?post=3726"}],"version-history":[{"count":1,"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/posts\/3726\/revisions"}],"predecessor-version":[{"id":3727,"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/posts\/3726\/revisions\/3727"}],"wp:attachment":[{"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/media?parent=3726"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/categories?post=3726"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mathematicians.korea.ac.kr\/ywkim\/wp-json\/wp\/v2\/tags?post=3726"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}