Logika i teoria mnogości – Ćwiczenia 10

1. Niech X to zbiór zawierający przynajmniej dwa elementy. Czy istnieje relacja R na X, która jest
jednocześnie liniowym porządkiem oraz relacją równoważności? Podać przykład takiej relacji dla
dowolnego X lub udowodnić, że nie dla każdego X taka istnieje.
2. Udowodnić, ze w zbiorze liniowo uporządkowanym element jest minimalny wtedy, i tylko wtedy gdy
jest najmniejszy.

3. Korzystając z indukcji matematycznej wykazać, że w zbiorze liniowo uporządkowanym w każdym skońc-

Behin
e

zonym, niepustym podzbiorze możemy wskazać element najmniejszy i największy.

pyce
4. Sprawdzić czy relacja R na zbiorze C dana poniższym wzorem liniowo/dobrze porządkuje zbiór:

xRy , (Re y < Re x) _ (Re y = Re x ^ Im y  Im x)

Tal
sie
5. Czy zbiory (N, ) oraz (N, ) są dobrze uporządkowane?
2 bior 1 .

naturalych jest melhormey , all

zeiye sig
od .
1

n(n+1)
6. Udowodnij, że dla każdego dodatniego całkowitego n, suma liczb 1 + 2 + 3 + . . . + n wynosi 2 .
7. Rozważmy ciąg zdefiniowany rekurencyjnie przez a1 = 1 i an+1 = an + 2n dla n 1. Udowodnij, że
an = n2 n + 1 dla każdego dodatniego całkowitego n.

8. Pokaż, że dla każdego nieujemnego całkowitego, parzystego n, liczba 2n 1 jest podzielna przez 3.
9. Udowodnij, że dla każdego dodatniego całkowitego n, 3n > n2 .
10. Niech S to zbiór zawierający ciągi binarne o długości n. Udowodnij, że liczba jego elementów to 2n .

11. Udowodnić, że suma sześcianów trzech kolejnych liczb naturalnych jest podzielna przez 9.
8 .
6
=
2- 1 3
-

n =
2 = 2 = n =
1 > 1 d
f z :
. n
2 -
> oh n - 3
04
n + 2 :
u + ch

2" 24 + 1
24 .

4 -
1 =

&
3 -
+
u
1 +
2 + 3 + 4 + ... + n + n+1 =
Hun1) +

2
3. nature Dochzillne n
1
n1) n(n
+ +
3
+
1) + 2(n + 1)
H po + =

-
Rodrise 2D 2
Per L =
m
3 CNL Cur

7 4 2 1=
2 +
1 9
-

n
2o
=
↑
: + n = 1 :
.

331 oh
Zes nu de
-
2 :
I oh 3 > n2
n 1
+ :

n2 -
n + 1 =
(n -
1) -

( 1)- + 1 + 2(n -

2)
n + 1 :
t ossb me sparch
da n = 2 !
zn 1 x (n 1)2
+

n
= h2
n + 1 = - 2n + 1 -
n + 1 + 1 +
2n -
2
3 .

3 > n + 2n + 1
n n +1 n2
= -
n +1

L = P
3n2 > n2 + 2n + 1

und 0 > 2n + 1 - 2n
2n(n -

1) > 1
10
. 10 CND
d
-
n = 1 =

11 .

2
cemose Wie
repain
s
277sh
n > e
cla
: -

n
8
=
1+ + se ,

zoying
,

3 udmodriling
1) + (n
n 1
+
:

2 : m -
zoh(u( + (n +
+
2) = 34 + yu +
3n + 1 + 62 + 122
-----
+ 2 = 3u+ an+
-g 14 +
22

zu ------ Gre
spossby
n+ 1

3
*

2) (n
...

3
12 + (n + +
3) = 3 ~ +
2n2 + 32 +1 +
Gy 12 8
(n +
+ + + + gu + 27
z
F + -

CND 3n3 + 9n2+ 15n +

-

-
9
xu
3n 3) +
+

* 9 .

naturale
Cur
1

Relaa rowsweiznosci :
XRz
precrochia Ry" yRz
·
= >
x

RX
symetigana xRy

3
1
Y
· =

· zuratre XRX
S

Porgcle liniowy
XRX
:

·
zurstre
XR2
XRy "yRz
=

proba ducta tylko dia IX = 1

,

Identy
·

croicione
anity syntigene
-
· state a a catoin rynica , ie

+
Rx = > x=
x Ry y y 1x132
·

spojia Xy v
V
yRX
Y
Rx v
y= ↓
sie
istnieje
2 .

XRX
·
zurstre
XR2
XRy "yRz
=
·
proba
· state anity syntigene
1 > x=
yRx
=
x Ry y
·

spojia Xy v
yR* v
y=

aby element
bit rajmninsry VxeA : a(X

aby element bet minimally VxA :

X(a = > X= a

Stabuj antysymuti wieny ,

ze
datadeiejeden element
jest reymrigsry
&

Elong
jedn element automatychis staje
many eyugsy
,
1
Tah

Porgcle liniowy :
> take
XRx
-

·
zurstre
XR2
XRy "yRz
=
·
proba
· state anity syntigene
+ > x=
yRx
=
x Ry y
·

spojia Xy v
V
Y
Y
RX
Rx v
y
=
=
X
x