Analysis einer Variablen - Blatt 1

Benjamin Ajanovic
Matrikelnummer: 11367123
Gruppe 9 (bin aber nicht sicher :S)
31. Oktober 2016

H1.1: +/ auf Steroiden

Es sei N : N0 N0 die Nachfolgerfunktion auf den nat
urlichen Zahlen und
+ : N0 N0 N0 , : N0 N0 N0 die rekursiv definierte Additions -und
Multiplikationsfunktionen, die durch folgende Regeln beschrieben sind:
1 := N (0), 2 := N (1), 3 := N (2), 4 := N (3)

(1)

n + 0 := n

(2)

n + N (m) := N (n + m)

(3)

n 0 := 0

(4)

n N (m) := n m + n

(5)

Besonderes gilt:
(1)

(3)

(2)

n + 1 = n + N (0) = N (n + 0) = N (n)
(1)

(5)

(4)

(8)

(6)

n 1 = n N (0) = n 0 + n = 0 + n = n

(7)

0+n=n

(8)

Beweis von (8).

(2)

0+0 = 0
Sei die Aussage (8) f
ur irgendein m N0 wahr. Wegen:
(3)

0 + N (m) = N (0 + m)

Annahme

N (m)

muss sie auch f

ur N (m) gelten.
Da die Aussage offensichtlich f
ur 0 gilt, gilt sie auch f
ur N (0) = 1, N (1) = 2,
N (2) = 3 und N (3) = 4.

a)
1+1=2
Beweis.
(6)

(1)

1 + 1 = N (1) = 2

(9)

b)
2+2=4
Beweis.
(1)

(3)

(6)

2 + 2 = 2 + N (1) = N (2 + 1) =
(1)

(1)

N (N (2)) = N (3) = 4

(10)

c)
22=4
Beweis.
(1)

(5)

(1)

2 2 = 2 N (1) = 2 1 + 2 = 2 N (0) + 2
(5)

(4)

(8)

(10)

= 20+2+2 = 0+2+2 = 2+2 = 4

(11)

H1.2: Playin Hard to Goethe

Setzen wir die Wahrheit von den Aussagen A1 A2 =: X und A3 A4 =: Y .
Die Aussage aus der Angabe vereinfacht sich zu [X Y ] [X Y ]. Diese
Aussage ist aber
aquivalent zu X Y
Beweis.
X
>
>

Y
>

>

>
>

>

>

XY
>

>
>

X Y
>
>

[X Y ] [X Y ]
>

>

XY
>

>

Spalten 7 und 8 sind offensichtlich gleich. Durch einsetzen von A1 , A2 , A3 und

A4 in X und Y bekommt man die Losung.

H1.3: Gleichm
aiger Beweis
(a)
A B
> >
>
>

AB
>

>
>

(A B) B

>
>

>

A B

>

Aus der Tabelle sieht man, dass die Spalten 4 und 6 gleich sind.

(b)
Negation der Aussage  > 0 > 0 x R y R : (|xy| < |x2 y 2 | < )
ist  > 0 > 0 x R y R : (|x2 y 2 |  |x y| ) oder
 > 0 > 0 x R y R : (|x y| < |x2 y 2 | ). Diese Aussage sagt,
dass die Funktion f (x) = x2 nicht gleichmaig stetig ist.
3

(d): Beweis der Negation aus (b)

Sei  gegeben. Sei durch = () vollstandig bestimmt. Ist |x y| < so ist
 |x2 y 2 | = |x y| |x + y| < |x + y|, d.h. |x + y| > . Egal wie gro 
ist, dadurch dass man x R und y R genug gro wahlt kann die Ungleichung
f
ur alle erf
ullt sein. |x y| < kann erf
ullt sein, dadurch dass man x und y
genug nah aneinander halt. Formaler Beweis:
Beweis.
 > 0 > 0 x R y R : (|x y| < |x2 y 2 | )

 > 0 > 0 x R y R : (|x y| <  |x y| |x + y|)

 > 0 > 0 x R y R : (|x y| <  < |x + y|)

Setzen wir x = k, y = k + 0, 5, und begrenzen k auf k R :

>0, k>0

<
|2k|)
 > 0 > 0 k R : ( <  < |2k + |
2
2
 > 0 : ( < 2k )

F
ur beliebiges  gibts es f
ur alle immer ein x > 0.5  > 0 und y := x + 0.5
gibt, so dass gleichzeitig |x y| < und |x2 y 2 |  erf
ullt sind.

H1.4: Komplizierte W
orter
(a)
((A B) (B C))
((A B C) (A B C)) : K
Beweis.
A B
> >
> >
>
>
>
>

C
>

>

>

>

(A B) (B C) A B C
>
>

>

A B C

>

K
>

>

Aus der Tabelle ist leicht zu sehen dass beide Aussagen aquivalent sind.

(b)
Sei R := {x {w, f }n : J(x) = w} P({w, f }n ) die Menge aller Wahrheitswerten der Aussagen A1 , . . . , An , f
ur die der Junktor J wahr ist. Menge
R kann maximal 2n Elemente enthalten. Bezeichnen wir diese Elemente mit
x1 . . . xk ; k 2n . Da diese Elemente n-tupel sind, bezeichnen wir die Elemente
4

 A , f
ur xi,j = w
j
Aj , f
ur xi,j = f
0 i k; 1 j n. Dann ist die Aussage Y1 Yk mit Yi := ai,1 a1,n
dem Junktor
aquivalent.
der Tupel mit xi,1 . . . xi,n . Definieren wir ai,j :=

Beweis. Sei l {w, f }n beliebig. Falls J(l) = w, dann i {1, . . . k} : xi R,

xi = l. Dann ist die Aussage Yi wegen der Definition von ai,j wahr und damit ist
Y1 Yk wahr. Anderseits ist J(l) = f, so ist bei jedem Yi eine der Aussagen
ai,j falsch, Yi = f, i {1 . . . k} und damit auch Y1 Yk = f . Ware das
nicht der Fall, so m
usste es mindestens ein i geben, f
ur das Yi wahr ist und
damit alle ai,j , 0 j n wahr sind. Aber nach der Definition von ai,j m
usste
dann l R sein, d.h. J(l) = w was ein Wiederspruch ist.