Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Matlog_exam_answer_27-35.docx
Скачиваний:
0
Добавлен:
01.05.2025
Размер:
41.78 Кб
Скачать

27. Show that any interval of the set of reals and the set of reals have the same cardinality. Show that any two circles on the real plane have the same cardinality. Show that a family of disjoint intervals on a line is countable as well as a family of disjoint circles on a real plane.

1) |A|=|B| if there is a bijection from A to B

Lemma 1. Any two intervals have the same cardinality.

Proof. Let a<b, c<d.

Through (a,c) and (b,d) a unique line y=f(x) passes. It is a bijection from (a,b) to (c,d)

Picture 1

Since f is line and is not constant, it is 1-1 x+x2 x1=x2 f is onto as a continuous function, which have all intermediate value between c and d.

Lemma 2. |(-)| =|R|

Proof. Tan: (-p/2;p/2)->R is a bijection.

Th. |(a,b)|=|R|

Proof. |(a,b)|= |(-)| =||R|=>|(a,b)|=|R|

2) pictures 2 Point on a circle is defined by its angles ϵso any two circles have the same cardinalities with [0,2p) then they have the same ordinarily.

3) A family of disjoint intervals on a line is countable

Proof: Let {(ai,bi):iϵI} be a set of disjoint interval. Any interval contains a rational number. Q- is countable. Since intervals are disjoint any rational number cannot belong to 2 intervals. So, the number of intervals ≤ the number of rationales.

A family of disjoint circles on the real plane is countable.

Proof. Let {Ri:iϵI} be a set of disjoint circles. Any circle contains point (q1.,q2) with rational coordinates. Since circles are disjoint any point cannot belong to two circles. So, the number of circles ≤ |QxQ| picture 3/ (q1,q2)ϵ circle |QxQ| is countable because the Cartesian product of countable sets is countable.

28. Show that the image of the union of two sets under a function is equal to the union of the images of these sets

Let f : X Y. If AX, B X , then unions are preserved. That is f A B f A f B

Proof: We begin by showing f X Y f X f Y 

If yfAB this means there exists an x0AB such that yfx0  . Hence, x0A or x0 B and so f x0 f A or f x0 f B , and so we have fx0  ∈ fA  ∪ fB which verifies f A B f A f B . We leave the verification that fA  ∪ fB  ⊆ fAB  to the reader. Although the intersection of sets is not preserved for functions, it is preserved for the inverse of a function

29. Show that the image of the intersection of two sets under a function is a subset of the intersection of the images of these sets.

If f : XY and AX , BX , then the images of intersections satisfy

f A B f A f B

Proof: Let y f A B . Hence, there exists an x A B such that f x y . Hence x A and x B . But

x A y f ( x ) f ( A) x B y f ( x ) f (B)

Hence yf ( x ) ∈ f ( A) ∩ f (B) .

Let us now try to show the converse; that is fA  ∩ fB  ⊆ fAB

Letting y f A f B have yfA  and yfB Hence

x1 A f x1 y

x2 ∈ A ⇒ f (x2)= y

from which we conclude fx1   fx2  which is only true if the function f is one-to-one. In general, intersections of sets are not preserved under the image of a function. However, the following theorem shows intersections are preserved.

30. Show that the image of the intersection of two sets under an injective function is equal to the intersection of the images of these sets.

Let f : X Y be a one-to-one function. If A ⊆ X , B ⊆ X , then intersection is preserved under mappings: f ( A ∩ B ) = f ( A) ∩ f ( B )\

Proof: It suffices to show f A f B f A B . Letting y f A f B ,

we have y ∈ f (A ) and y ∈ f ( B ) . Hence

x1 A such that f x1 y => f x1 f x2

x2 B such that f x2 y

But f is assumed 1-1 so we conclude x1x2 and so x1 A and x1 B and thus x1 A B

Hence yfx1  ∈ fAB which proves theorem

31. Show that the pre-image of the union of two sets is equal to the union of pre-images of these two sets. Show that the pre-image of the intersection of two sets is equal to the intersection of pre-images of these two sets. Show that the complement of the pre-image of a set is equal to the pre-image of the complement of this set.

For a subset A of the range of a function ƒ, the set of points x in the domain of ƒ for which ƒ(x) is a member of A. Also known as inverse image.

f:A->B, f(a)=b. b is the image of a under f. a is a preimage of b.

  1. Th. Let f : X Y and C Y , D Y , then the inverse image of intersections and unions satisfies f 1 C D f 1 C f 1 D

Proof y f 1 C UD f y CUD

f y C and f y D

y f 1 C and y f 1 D

y f 1 C U f 1 D

f 1 C D f 1 C f 1 D

y f 1 C D f y C D

f y C and f y D

y f 1 C and y f 1 D

y f 1 C f 1 D

a ϵ f^-1(черточка А) f(a) ϵ черточка А f(a) not ϵ A a not ϵ f^-1 (A) a ϵf^-1(A)

32. Rules of inference. The six basic rules of inference. Vacuous, trivial, indirect proof and proof by contradiction. Prove that the square root of 2 is irrational.

1) Modus ponens:

2)Modus Tollenes:

3)Elimination:

4)Transitivity:

5)Generalization: P->PVQ, Q->PVQ

6)Specialization: P˄Q->P, P˄Q->Q

7)Conjunction: (P,Q)/(P˄Q)

8)Contradiction Rule: (notP->F)/P

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]