פונקציה חד-חד-ערכית ועל – הבדלי גרסאות

מ
מ (הסרת תבנית:בריטניקה בערכים כאשר היא רק דף הפניה. ראו שיחת תבנית:בריטניקה (תג))
 
==תכונות ושימושים==
אם קיימת פונקציה כזו, הקבוצות <math>X</math> ו-<math>Y</math> נקראות "[[קבוצות שקולות|שקולות]]" והן בעלות אותה [[עוצמה (מתמטיקה)|עוצמה]].{{ש}}
פונקציה היא חד-חד-ערכית ועל [[אם ורק אם]] היא [[פונקציה הפיכה|הפיכה]], ולכן יחס השקילות הזה בין קבוצות הוא [[יחס סימטרי]].
 
* אם קיימת פונקציה כזו, הקבוצות <math>X</math> ו-<math>Y</math> נקראות "[[קבוצות שקולות|שקולות]]" והן בעלות אותה [[עוצמה (מתמטיקה)|עוצמה]].{{ש}}
אם על הקבוצות <math>X,Y</math> מוגדר מבנה נוסף (פעולות אלגבריות, [[טופולוגיה]], [[מטריקה]] וכדומה), אז פונקציה חד-חד-ערכית ועל ביניהן השומרת על המבנה נקראת [[איזומורפיזם]].
* פונקציה היא חד-חד-ערכית ועל [[אם ורק אם]] היא [[פונקציה הפיכה|הפיכה]], ולכן יחס השקילות הזה בין קבוצות הוא [[יחס סימטרי]].
 
* אם על הקבוצות <math>X,Y</math> מוגדר מבנה נוסף (פעולות אלגבריות, [[טופולוגיה]], [[מטריקה]] וכדומה), אז פונקציה חד-חד-ערכית ועל ביניהן השומרת על המבנה נקראת [[איזומורפיזם]].
* פונקציה חד-חד-ערכית ועל מקבוצה אל עצמה נקראת [[תמורה (מתמטיקה)|תמורה]].{{ש}}
* אוסף התמורות על קבוצה <math>X</math> הוא [[חבורת הסימטריות]] של הקבוצה; לדוגמה, הפונקציה המתאימה לכל [[מספר שלם]] את העוקב שלו, היא תמורה על המספרים השלמים. פונקציות חד-חד-ערכיות ועל הן מאבני הבניין של [[צופן סימטרי|צפנים סימטריים]] מודרניים רבים ב[[קריפטוגרפיה]].
 
== ראו גם ==
12

עריכות