master > master: Formattierung

This commit is contained in:
RD 2021-01-13 14:54:17 +01:00
parent 843c111376
commit 85e9c0a359
1 changed files with 7 additions and 6 deletions

View File

@ -127,20 +127,21 @@ V = lin{v1, v2, v3}
## UB9-3 (wie man ansetzen kann...) ##
ZZ ψ◦ϕ injektiv <===> ϕ injektiv + Kern(ψ) ∩ Bild(ϕ) = {0}
**Zz:** ψ◦ϕ injektiv <===> ϕ injektiv + Kern(ψ) ∩ Bild(ϕ) = {0}
(==>) Angenommen, ψ◦ϕ injektiv.
Zz: ϕ injektiv + Kern(ψ) ∩ Bild(ϕ) = {0}.
**Zz:** ϕ injektiv + Kern(ψ) ∩ Bild(ϕ) = {0}.
...
(<==) Angenommen, ϕ injektiv + Kern(ψ) ∩ Bild(ϕ) = {0}.
Zz: ψ◦ϕ injektiv
**Zz:** ψ◦ϕ injektiv
Laut Korollar 6.3.15 aus [Sinn2020] reicht es aus zu zeigen, dass Kern(ψ◦ϕ) = {0}.
Laut Korollar 6.3.15 aus [Sinn2020] reicht es aus zu zeigen,
dass Kern(ψ◦ϕ) = {0}.
Sei x ∈ U beliebig.
Zz: x ∈ Kern(ψ◦ϕ) <===> x = 0
**Zz:** x ∈ Kern(ψ◦ϕ) <===> x = 0
x ∈ Kern(ψ◦ϕ)
<===> (ψ◦ϕ)(x) = 0