Кескін (математика) - Image (mathematics) - Wikipedia

f доменнен алынған функция X кодомейнге Y. Ішіндегі сары сопақ Y бейнесі болып табылады f.

Жылы математика, сурет а функциясы ол шығаруы мүмкін барлық шығыс мәндерінің жиынтығы.

Жалпы алғанда, берілген функцияны бағалау f берілген жиынның әр элементінде A оның домен «деп аталатын жиынтық шығарадысурет туралы A астында (немесе арқылы) f «. Сол сияқты кері кескін (немесе алдын-ала түсіру) берілген жиынның B туралы кодомейн туралы f, - бұл доменнің барлық элементтерінің жиынтығы, олар мүшелерімен салыстырады B.

Кескін және кері сурет жалпыға бірдей анықталуы мүмкін екілік қатынастар, тек функциялар емес.

Анықтама

«Кескін» сөзі үш өзара байланысты қолданылады. Осы анықтамаларда f : XY Бұл функциясы бастап орнатылды X жиынтыққа Y.

Элемент кескіні

Егер х мүшесі болып табылады X, содан кейін х астында f, деп белгіленді f(х),[1] болып табылады мәні туралы f қолданылған кезде х. f(х) балама ретінде шығарылым ретінде белгілі f дәлел үшін х.

Ішкі жиынның суреті

Ішкі жиын кескіні AX астында f, деп белгіленді , ішкі бөлігі болып табылады Y көмегімен анықтауға болады қондырушы белгілері келесідей:[2]

Шатасу қаупі болмаса, жай жазылады . Бұл конвенция кең таралған; көзделген мағынаны контексттен шығару керек. Бұл жасайды f[.] функциясы домен болып табылады қуат орнатылды туралы X (бәрінің жиынтығы) ішкі жиындар туралы X) және кімнің кодомейн болып табылады Y. Қараңыз § белгілеу толығырақ төменде.

Функцияның бейнесі

The сурет функциялар - бұл оның бүтін бейнесі домен, деп те аталады ауқымы функциясы.[3]

Екілік қатынастарға жалпылау

Егер R ерікті болып табылады екілік қатынас қосулы X×Y, содан кейін {y∈ жиынтығыY | xRy кейбіреулер үшін хX } кескіні немесе диапазоны деп аталады R. Екі рет, жиынтық { хX | xRy y∈ үшінY } домені деп аталады R.

Кері кескін

Келіңіздер f функциясы болуы керек X дейін Y. The алдын-ала түсіру немесе кері кескін жиынтықтың BY астында f, деп белгіленеді , ішкі бөлігі болып табылады X арқылы анықталады

Басқа белгілерге жатады f −1 (B)[4] және f  (B).[5] А-ның кері кескіні синглтон, деп белгіленеді f −1[{ж}] немесе бойынша f −1[ж], деп те аталады талшық аяқталды ж немесе деңгей орнатылды туралы ж. Элементтерінің үстіндегі барлық талшықтардың жиынтығы Y - индекстелген жиынтықтар отбасы Y.

Мысалы, функция үшін f(х) = х2, {4} кескіні {−2, 2} болады. Тағы да, егер шатасу қаупі болмаса, f −1[B] деп белгілеуге болады f −1(B), және f −1 -ды қуат жиынтығындағы функция ретінде қарастыруға болады Y қуат жиынтығына X. Белгі f −1 дегенмен шатастыруға болмайды кері функция дегенмен, бұл бижекциялар үшін әдеттегіге сәйкес келеді, бұл кері кескін B астында f бейнесі болып табылады B астында f −1.

Ескерту кескін және кері сурет үшін

Алдыңғы бөлімде қолданылған дәстүрлі белгілер түсініксіз болуы мүмкін. Балама[6] бұл қуат жиынтықтары арасындағы функция ретінде кескінге және суретке нақты атау беру:

Көрсеткі

  • бірге
  • бірге

Жұлдызша белгісі

  • орнына
  • орнына

Басқа терминология

  • Үшін балама жазба f[A] жылы қолданылған математикалық логика және жиынтық теориясы болып табылады f "A.[7][8]
  • Кейбір мәтіндер суретке сілтеме жасайды f ауқымы ретінде f, бірақ бұл қолданудан аулақ болу керек, өйткені «диапазон» сөзі әдетте мағынасын білдіру үшін қолданылады кодомейн туралы f.

Мысалдар

  1. f: {1, 2, 3} → {а б С Д} анықталды
    The сурет {2, 3} жиынтығының астында f болып табылады f({2, 3}) = {а, в}. The сурет функциясы f бұл {а, в}. The алдын-ала түсіру туралы а болып табылады f −1({а}) = {1, 2}. The алдын-ала түсіру туралы {а, б} сонымен қатар {1, 2}. Алдын-ала {б, г.} болып табылады бос жиын {}.
  2. f: RR арқылы анықталады f(х) = х2.
    The сурет {−2, 3} астында f болып табылады f({−2, 3}) = {4, 9} және сурет туралы f болып табылады R+. The алдын-ала түсіру бойынша {4, 9} f болып табылады f −1({4, 9}) = {−3, −2, 2, 3}. Жинақтың алдын-ала көрінісі N = {nR | n <0} астында f бұл бос жиын, өйткені теріс сандарда риалдар жиынтығында квадрат түбірлер болмайды.
  3. f: R2R арқылы анықталады f(х, ж) = х2 + ж2.
    The талшықтар f −1({а}) болып табылады концентрлі шеңберлер туралы шығу тегі, шығу тегінің өзі және бос жиын, байланысты а > 0, а = 0, немесе а Сәйкесінше <0.
  4. Егер М Бұл көпжақты және π: ТММ канондық болып табылады болжам бастап тангенс байламы ТМ дейін М, содан кейін талшықтар туралы π болып табылады жанас кеңістіктер Тх(М) үшін хМ. Бұл сондай-ақ а талшық байламы.
  5. Квитенттік топ дегеніміз гомоморфты бейне.

Қасиеттері

Негізделген мысалдар
f: → ℝ, хх2, көрсету
жалпыға бірдей теңдік қажет
кейбір заңдарға сәйкес келмейді:
f(A1A2) ⊊ f(A1) ∩ f(A2)
f(f−1(B3)) ⊊ B3
f−1(f(A4)) ⊋ A4

Жалпы

Әр функция үшін және барлық ішкі жиындар және , келесі қасиеттер:

КескінАлдын ала түсіру

(егер тең болса , мысалы. сурьективті)[9][10]

(егер тең болса инъекциялық)[9][10]
[9]
[11][11]
[11][11]

Сондай-ақ:

Бірнеше функция

Функциялар үшін және ішкі жиындармен және , келесі қасиеттер:

Доменнің немесе кодоменнің бірнеше ішкі жиыны

Функция үшін және ішкі жиындар және , келесі қасиеттер:

КескінАлдын ала түсіру
[11][12]
[11][12]
(егер тең болса инъекциялық[13])
[11]
(егер тең болса инъекциялық[13])
[11]

(егер тең болса инъекциялық)

Кескіндер мен суреттерге қатысты нәтижелер (Буль алгебрасы қиылысу және одақ ішкі жиындардың жұптары үшін ғана емес, кез-келген ішкі жиындар үшін жұмыс істеу:

(Мұнда, S тіпті шексіз болуы мүмкін сансыз шексіз.)

Жоғарыда сипатталған ішкі жиындардың алгебрасына қатысты кері кескін функциясы а торлы гомоморфизм, ал сурет функциясы тек а жарты жел гомоморфизм (яғни, ол әрқашан қиылыстарды сақтай бермейді).

Сондай-ақ қараңыз

Ескертулер

  1. ^ «Математикалық рәміздер жинағы». Математикалық қойма. 2020-03-01. Алынған 2020-08-28.
  2. ^ «5.4: Функциялар мен кескіндерге / жиынтықтардың артықшылықтарына». Математика LibreTexts. 2019-11-05. Алынған 2020-08-28.
  3. ^ Вайсштейн, Эрик В. «Сурет». mathworld.wolfram.com. Алынған 2020-08-28.
  4. ^ «Алгебра таңбаларының толық тізімі». Математикалық қойма. 2020-03-25. Алынған 2020-08-28.
  5. ^ Dolecki & Mynard 2016, 4-5 бет.
  6. ^ Блит 2005 ж, б. 5.
  7. ^ Жан Э. Рубин (1967). Математикке арналған теорияны қойыңыз. Холден-күн. б. xix. ASIN  B0006BQH7S.
  8. ^ М.Рендал Холмс: НФУ-дің әдеттегі модельдеріндегі урелементтердің біртектілігі, 29 желтоқсан, 2005, күні: Semantic Scholar, p. 2018-04-21 121 2
  9. ^ а б c Қараңыз Халмос 1960 ж, б. 39
  10. ^ а б Қараңыз Munkres 2000, б. 19
  11. ^ а б c г. e f ж сағ Ли, Джон М. (2010) -ның 388-бетін қараңыз. Топологиялық манифолдтарға кіріспе, 2-ші басылым.
  12. ^ а б Келли 1985, б.85
  13. ^ а б Қараңыз Munkres 2000, б. 21

Әдебиеттер тізімі

Бұл мақалада Fiber on материалдары бар PlanetMath бойынша лицензияланған Creative Commons Attribution / Share-Alike лицензиясы.