Injektív leképezés

A matematikában az injektív függvény olyan f : A → B függvény, amely a következő tulajdonsággal rendelkezik. A B kódtartomány minden b elemére legfeljebb egy olyan a elem van az A tartományban, amelyre f(a)=b.

Az injekció fogalmát és a kapcsolódó szurjekció és bijekció kifejezéseket Nicholas Bourbaki vezette be. Az 1930-as években ő és más matematikusok egy csoportja könyvsorozatot adott ki a modern haladó matematikáról.

Az injektív függvényt gyakran nevezik 1-1 függvénynek. Az 1-1 megfeleltetés azonban bijektív függvény (egyszerre injektív és szürjektív). Ez zavaró, ezért legyünk óvatosak.

Alapvető tulajdonságok

Hivatalosan:

f : A → B {\displaystyle f:B} $f:A\rightarrow B$ egy injektív függvény, ha ∀ a 1 , a 2 , ∈ A , a 1 ≠ a 2 ⇒ f ( a 1 ) ≠ f ( a 2 ) {\displaystyle \forall a_{1},\,a_{2},\in A,\,\,\,\,\,\,a_{1}\neq a_{2}\,\,\,\Rightarrow \,\,\,f(a_{1})\neq f(a_{2})} $\forall a_{1},\,a_{2},\in A,\,\,\,\,a_{1}\neq a_{2}\,\,\Rightarrow \,\,f(a_{1})\neq f(a_{2})$ vagy egyenértékűen.

f : A → B {\displaystyle f:A\rightarrow B} $f:A\rightarrow B$ egy injektív függvény, ha ∀ a 1 , a 2 , ∈ A , f ( a 1 ) = f ( a 2 ) ⇒ a 1 = a 2 {\displaystyle \forall a_{1},\,a_{2},\in A,\,\,\,\,\,\,f(a_{1})=f(a_{2})\,\,\,\Rightarrow \,\,\,a_{1}=a_{2}}} $\forall a_{1},\,a_{2},\in A,\,\,\,\,f(a_{1})=f(a_{2})\,\,\Rightarrow \,\,a_{1}=a_{2}$

Az a {\displaystyle a} elemet a b {\displaystyle b} $b$ elem előképének nevezzük, ha f ( a ) = b {\displaystyle f(a)=b} $f(a)=b$ . Az injekcióknak B minden b elemére van egy vagy nincs előképe.

Cardinality

A kardinalitás a halmaz elemeinek száma. Az A={X,Y,Z,W} kardinalitása 4. Írjuk #A=4.

Ha a kódtartomány kardinalitása kisebb, mint a tartomány kardinalitása, akkor a függvény nem lehet injekció. (Például nem lehet 6 elemet 5 elemre leképezni duplikáció nélkül.)

Példák

Elemi függvények

Legyen f(x):ℝ→ℝ az x valós értékű argumentumának y=f(x) valós értékű függvénye. (Ez azt jelenti, hogy a bemenet és a kimenet is valós számok.)

Grafikai jelentés: Az f függvény injekció, ha minden vízszintes egyenes legfeljebb egy pontban metszi az f függvény grafikonját.
Algebrai jelentés: Az f függvény injekció, ha f(x_o )=f(x₁ ) azt jelenti, hogy x_o =x .₁

Példa: Egy ferde egyenes lineáris függvénye 1-1. Vagyis y=ax+b, ahol a≠0 egy injektor. (Ez egyben szurjekció és így bijekció is.)

Bizonyíték: Legyen x_o és x₁ valós számok. Tegyük fel, hogy az egyenes ezt a két x-értéket ugyanarra az y-értékre képezi le. Ez azt jelenti, hogy a-x_o +b=a-x₁ +b. Vonjuk ki b-t mindkét oldalból. Azt kapjuk, hogy a-x_o =a-x₁ . Most osszuk el mindkét oldalt a-val (emlékezzünk a≠0-ra). Megkapjuk x_o =x₁ . Tehát bebizonyítottuk a formális definíciót és az y=ax+b függvényt, ahol a≠0 egy injekció.

Példa: A harmadfokú polinomfüggvény: f(x)=x³ egy injekció. A harmadfokú polinomfüggvény: f(x)=x³ -3x azonban nem injekció.

1. vita: Bármely vízszintes vonal metszi a következő grafikonját

f(x)=x³ pontosan egyszer. (Továbbá ez egy szurjekció.)

Megbeszélés 2. Az y=-2 és y=2 közötti bármelyik vízszintes egyenes három pontban metszi a grafikont, így ez a függvény nem injektor. (Viszont szurjekció.)

Példa: A kvadratikus függvény f(x) = x² nem injekció.

Megbeszélés: Bármely vízszintes y=c egyenes, ahol c>0, két pontban metszi a grafikont. Tehát ez a függvény nem injektálás. (Továbbá nem is szurjekció.)

Megjegyzés: Egy nem injektív függvényt injektív függvénnyé alakíthatunk a tartomány egy részének kiiktatásával. Ezt nevezzük a tartomány korlátozásának. Például korlátozzuk az f(x)=x² függvény tartományát nemnegatív számokra (pozitív számok és nulla). Definiáljuk a címet.

f / [ 0 , + ∞ ) ( x ) : [ 0 , + ∞ ) → R {\displaystyle f_{/[0,+\infty )}(x):[0,+\infty )\rightarrow \mathbf {R} } $f_{/[0,+\infty )}(x):[0,+\infty )\rightarrow \mathbf {R}$ ahol f / [ 0 , + ∞ ) ( x ) = x 2 {\displaystyle f_{/[0,+\infty )}(x)=x^{2}} $f_{/[0,+\infty )}(x)=x^{2}$

Ez a funkció most egy injekció. (Lásd még egy függvény korlátozása.)

Példa: Az f(x) = 10 ^xexponenciális függvény egy injekció. (Ez azonban nem szurjekció.)

Megbeszélés: Bármely vízszintes vonal legfeljebb egy pontban metszi a grafikont. Az y=c vízszintes egyenesek, ahol c>0, pontosan egy pontban metszik. Az y=c vízszintes egyenesek, ahol c≤0, egyetlen pontban sem vágják a grafikont.

Megjegyzés: Az a tény, hogy az exponenciális függvény injektív, felhasználható a számítások során.

a x 0 = a x 1 ⇒ x 0 = x 1 , a > 0 {\displaystyle a^{x_{0}}=a^{x_{1}}\,\,\,\Rightarrow \,\,x_{0}=x_{1},\,a>0} $a^{x_{0}}=a^{x_{1}}\,\,\Rightarrow \,\,x_{0}=x_{1},\,a>0$

Példa: 100 = 10 x - 3 ⇒ 2 = x - 3 ⇒ x = 5 {\displaystyle 100=10^{x-3}\,\,\,\Rightarrow \,\,2=x-3\,\,\,\,\Rightarrow \,\,\,x=5} $100=10^{x-3}\,\,\Rightarrow \,\,2=x-3\,\,\Rightarrow \,\,x=5$

Injektálás: egyetlen vízszintes vonal sem metszi a grafikon egynél több pontját.

Injekció. f(x):ℝ→ℝ (és szurjekció)

Nem injekció. f(x):ℝ→ℝ (szurjekció)

Nem injekció. f(x):ℝ→ℝ (nem surjekció)

Injekció. f(x):ℝ→ℝ (nem surjekció)

Injekció. f(x):(0,+∞)→ℝ (és szurjekció)

Egyéb példák

Példa: f(x)=log(x) vagy y=log₁₀ (x) által definiált f(x)=log(x) vagy y=log (x) logaritmikus függvény f(x):(0,+∞)→ℝ egy injekció (és egy surjekció). (Ez a 10 ^xinverz függvénye.)

Példa: Az f:ℕ→ℕ függvény, amely minden n természetes számot 2n-re képez le, egy injekció. Minden páros számnak pontosan egy előképe van. Minden páratlan számnak nincs előképe.

Kapcsolódó oldalak

Kérdések és válaszok

K: Mi az injektív függvény a matematikában?

V: Az injektív függvény olyan f: A → B függvény, amelynek tulajdonsága, hogy a tartomány különböző elemei a kódtartomány különböző elemeire illeszkednek.

K: Milyen kapcsolat van egy injektív függvény tartományának és kodomainjának elemei között?

V: A B kódtartomány minden b elemére az A tartományban legfeljebb egy olyan a elem van, hogy f(a)=b.

K: Ki vezette be az injekció, a surjekció és a bijekció fogalmát?

V: Nicholas Bourbaki és más matematikusok egy csoportja vezette be az injekció, a szúrjekció és a bijekció fogalmát.

K: Mit jelent az injektív függvény?

V: Az injektív függvény azt jelenti, hogy az A tartomány minden egyes eleme a B kódtartomány egy egyedi elemére illeszkedik.

K: Miben különbözik az injektív függvény az 1-1 megfeleltetéstől?

V: Az injektív függvényt gyakran nevezik 1-1 (egy az egyhez) függvénynek, de megkülönböztetjük az 1-1 megfeleltetéstől, amely bijektív függvény (egyszerre injektív és szürjektív).

K: Mi az injektív függvény tulajdonsága?

V: Az injektív függvény tulajdonsága az, hogy a tartomány különböző elemei a kodomain különböző elemeire illeszkednek.

K: Mi a jelentősége az injektív függvényeknek a matematikában?

V: Az injektív függvények fontos szerepet játszanak számos matematikai területen, többek között a topológiában, az analízisben és az algebrában, mivel a tartomány különböző elemei a kodomain különböző elemeire illeszkednek.