add Surjektive & injektive Funktionen

This commit is contained in:
MuedeHydra 2025-09-30 16:36:03 +02:00
parent 18feb188aa
commit f037fa6b48

View File

@ -168,6 +168,70 @@ $x in A arrow.l.r.double.long A in.rev x$
],[Alle Elemente der Grundmenge G welche nicht in A sind.],
)
=== Kartesisches Produkt
== Funktionen
Definition
=== Urbild & Bild
=== Identität
=== Surjektivität, Injektivität, Bijektivität
#cetz.canvas({
import cetz.draw: *
rect((0, 0), (1, 4))
content((0.5, 0.5), [1])
content((0.5, 1.5), [2])
content((0.5, 2.5), [3])
content((0.5, 3.5), [4])
rect((3, 0), (4, 3))
content((3.5, 0.5), [a])
content((3.5, 1.5), [b])
content((3.5, 2.5), [c])
line((1, 0.5), (3, 0.5), mark: (end: ">"), fill: black)
line((1, 1.5), (3, 1.5), mark: (end: ">"), fill: black)
line((1, 2.5), (3, 2.5), mark: (end: ">"), fill: black)
line((1, 3.5), (3, 2.5), mark: (end: ">"), fill: black)
})
#cetz.canvas({
import cetz.draw: *
rect((0, 0), (1, 3))
content((0.5, 0.5), [1])
content((0.5, 1.5), [2])
content((0.5, 2.5), [3])
rect((3, 0), (4, 4))
content((3.5, 0.5), [a])
content((3.5, 1.5), [b])
content((3.5, 2.5), [c])
content((3.5, 3.5), [d])
line((1, 0.5), (3, 0.5), mark: (end: ">"), fill: black)
line((1, 1.5), (3, 1.5), mark: (end: ">"), fill: black)
line((1, 2.5), (3, 2.5), mark: (end: ">"), fill: black)
})
#cetz.canvas({
import cetz.draw: *
rect((0, 0), (1, 4))
content((0.5, 0.5), [1])
content((0.5, 1.5), [2])
content((0.5, 2.5), [3])
content((0.5, 3.5), [4])
rect((3, 0), (4, 4))
content((3.5, 0.5), [a])
content((3.5, 1.5), [b])
content((3.5, 2.5), [c])
content((3.5, 3.5), [d])
line((1, 0.5), (3, 0.5), mark: (end: ">"), fill: black)
line((1, 1.5), (3, 1.5), mark: (end: ">"), fill: black)
line((1, 2.5), (3, 2.5), mark: (end: ">"), fill: black)
line((1, 3.5), (3, 3.5), mark: (end: ">"), fill: black)
})
== Folgen, Reihen & Grenzwerte
#pagebreak()
// }}}