פונקציה חד-חד-ערכית ועל – הבדלי גרסאות
הסרת תבנית עריכה. נא להסביר בדף השיחה מה הבעיה בערך הפשוט הזה |
יוניון ג'ק (שיחה | תרומות) אין תקציר עריכה |
||
שורה 1: | שורה 1: | ||
{{סימון מתמטי}} |
{{סימון מתמטי}} |
||
[[קובץ:Bijection.svg|שמאל|ממוזער|200px|דוגמה לפונקציה חד-חד-ערכית ועל]] |
[[קובץ:Bijection.svg|שמאל|ממוזער|200px|דוגמה לפונקציה חד-חד-ערכית ועל]] |
||
ב[[מתמטיקה]], '''פונקציה חד-חד-ערכית ועל''' היא [[פונקציה]] שמתקיימות בה שתי תכונות: |
|||
⚫ | |||
* היא [[פונקציה חד-חד-ערכית]]. |
|||
* היא [[פונקציה על]]. |
|||
==ניסוח פורמלי== |
|||
פונקציה <math>f:X\rarr Y</math>, מהקבוצה <math>X</math> לקבוצה <math>Y</math>, היא חד-חד-ערכית ועל, אם לכל <math>b\in Y</math> קיים <math>a\in X</math> יחיד כך ש-<math>f(a) = b</math>. |
|||
⚫ | |||
⚫ | |||
==תכונות ושימושים== |
|||
⚫ | |||
אם על הקבוצות <math>X,Y</math> מוגדר מבנה נוסף (פעולות אלגבריות, [[טופולוגיה]], [[מטריקה]] וכדומה), אז פונקציה חד-חד-ערכית ועל ביניהן השומרת על המבנה נקראת [[איזומורפיזם]]. |
אם על הקבוצות <math>X,Y</math> מוגדר מבנה נוסף (פעולות אלגבריות, [[טופולוגיה]], [[מטריקה]] וכדומה), אז פונקציה חד-חד-ערכית ועל ביניהן השומרת על המבנה נקראת [[איזומורפיזם]]. |
||
פונקציה חד-חד-ערכית ועל מקבוצה אל עצמה נקראת [[תמורה (מתמטיקה)|תמורה]]. אוסף התמורות על קבוצה <math>X</math> הוא [[חבורת הסימטריות]] של הקבוצה. לדוגמה, הפונקציה המתאימה לכל [[מספר שלם]] את העוקב שלו, היא תמורה על המספרים השלמים. פונקציות חד-חד-ערכיות ועל הן מאבני הבניין של [[צופן סימטרי|צופנים סימטריים]] מודרניים רבים ב[[קריפטוגרפיה]]. |
פונקציה חד-חד-ערכית ועל מקבוצה אל עצמה נקראת [[תמורה (מתמטיקה)|תמורה]]. אוסף התמורות על קבוצה <math>X</math> הוא [[חבורת הסימטריות]] של הקבוצה. לדוגמה, הפונקציה המתאימה לכל [[מספר שלם]] את העוקב שלו, היא תמורה על המספרים השלמים. פונקציות חד-חד-ערכיות ועל הן מאבני הבניין של [[צופן סימטרי|צופנים סימטריים]] מודרניים רבים ב[[קריפטוגרפיה]]. |
||
⚫ | |||
⚫ | |||
== ראו גם == |
== ראו גם == |
גרסה מ־02:10, 21 בספטמבר 2020
בערך זה |
במתמטיקה, פונקציה חד-חד-ערכית ועל היא פונקציה שמתקיימות בה שתי תכונות:
- היא פונקציה חד-חד-ערכית.
- היא פונקציה על.
ניסוח פורמלי
פונקציה , מהקבוצה לקבוצה , היא חד-חד-ערכית ועל, אם לכל קיים יחיד כך ש-.
דוגמה
הפונקציה היא חד-חד-ערכית ועל בתחום , משום שכל ערך של y בטווח מופיע בדיוק פעם אחת.
תכונות ושימושים
אם קיימת פונקציה כזו, הקבוצות ו- נקראות "שקולות" והן בעלות אותה עוצמה. פונקציה היא חד-חד-ערכית ועל אם ורק אם היא הפיכה, ולכן יחס השקילות הזה בין קבוצות הוא יחס סימטרי.
אם על הקבוצות מוגדר מבנה נוסף (פעולות אלגבריות, טופולוגיה, מטריקה וכדומה), אז פונקציה חד-חד-ערכית ועל ביניהן השומרת על המבנה נקראת איזומורפיזם.
פונקציה חד-חד-ערכית ועל מקבוצה אל עצמה נקראת תמורה. אוסף התמורות על קבוצה הוא חבורת הסימטריות של הקבוצה. לדוגמה, הפונקציה המתאימה לכל מספר שלם את העוקב שלו, היא תמורה על המספרים השלמים. פונקציות חד-חד-ערכיות ועל הן מאבני הבניין של צופנים סימטריים מודרניים רבים בקריפטוגרפיה.
ראו גם
קישורים חיצוניים
- פונקציה חד-חד-ערכית ועל, באתר אנציקלופדיה למתמטיקה (באנגלית)
- פונקציה חד-חד-ערכית ועל, באתר MathWorld (באנגלית)