background image

5.36. SOME COUNTER-EXAMPLES

124

Example

689

.

There are tornings which are not weak partitions.

Proof.

∆+

a

a

R

 

is a torning but not weak partition of the real line.

Lemma

690

.

Let

A

be the set of filters on a set

U

. Then

X

u

A

v

Y

u

A

Ω iff

X

\

Y

is a finite set, having fixed sets

X, Y

P

U

.

Proof.

Let

M

be the set of finite subsets of

U

.

X

u

A

v

Y

u

A

X

K

X

K

X

Y

K

Y

K

Y

K

Y

K

X

Ω :

Y

K

Y

=

X

K

X

L

Y

M

L

X

M

:

Y

\

L

Y

=

X

\

L

X

L

Y

M

:

X

\

(

Y

\

L

Y

)

M

X

\

Y

M.

Example

691

.

There exists a filter

A

on a set

U

such that (

P

U

)

/

and

Z

(

D

A

) are not complete lattices.

Proof.

Due to the isomorphism it is enough to prove for (

P

U

)

/

.

Let take

U

=

N

and

A

= Ω be the Fréchet filter on

N

.

Partition

N

into infinitely many infinite sets

A

0

, A

1

, . . .

. To withhold our ex-

ample we will prove that the set

{

[

A

0

]

,

[

A

1

]

, . . .

}

has no supremum in (

P

U

)

/

.

Let [

X

] be an upper bound of [

A

0

]

,

[

A

1

]

, . . .

that is

i

N

:

X

u

A

w

A

i

u

A

that is

A

i

\

X

is finite. Consequently

X

is infinite. So

X

A

i

6

=

.

Choose for every

i

N

some

z

i

X

A

i

. The

{

z

0

, z

1

, . . .

}

is an infinite subset

of

X

(take into account that

z

i

6

=

z

j

for

i

6

=

j

). Let

Y

=

X

\ {

z

0

, z

1

, . . .

}

. Then

Y

u

A

w

A

i

u

A

Ω because

A

i

\

Y

=

A

i

\

(

X

\ {

z

i

}

) = (

A

i

\

X

)

∪ {

z

i

}

which is finite

because

A

i

\

X

is finite. Thus [

Y

] is an upper bound for

{

[

A

0

]

,

[

A

1

]

, . . .

}

.

Suppose

Y

u

A

Ω =

X

u

A

Ω. Then

Y

\

X

is finite what is not true. So

Y

u

A

@

X

u

A

Ω that is [

Y

] is below [

X

].

5.36.1. Weak and Strong Partition.

Definition

692

.

A family

S

of subsets of a countable set is

independent

iff the

intersection of any finitely many members of

S

and the complements of any other

finitely many members of

S

is infinite.

Lemma

693

.

The “infinite” at the end of the definition could be equivalently

replaced with “nonempty” if we assume that

S

is infinite.

Proof.

Suppose that some sets from the above definition has a finite inter-

section

J

of cardinality

n

. Then (thanks

S

is infinite) get one more set

X

S

and

we have

J

X

6

=

and

J

(

N

\

X

)

6

=

. So card(

J

X

)

< n

. Repeating this,

we prove that for some finite family of sets we have empty intersection what is a

contradiction.

Lemma

694

.

There exists an independent family on

N

of cardinality

c

.

Proof.

Let

C

be the set of finite subsets of

Q

. Since card

C

= card

N

, it

suffices to find

c

independent subsets of

C

. For each

r

R

let

E

r

=

F

C

card(

F

]

− ∞

;

r

[) is even

.