background image

4.5. SOME COUNTER-EXAMPLES

82

Proof.

Let

X

0

=

(

P

;

Q

)

P

P

X

is finite

, Q

PP

P

.

It’s easy to show that card

X

0

= card

X

. So it is enough to show this for

X

0

instead of

X

. Let

F

=

n

(

P

;

Q

)

X

0

Y

P

Q

o

Y

P

X

.

To finish the proof we show that for every disjoint finite

Y

+

PP

X

and finite

Y

PP

X

there exist (

P

;

Q

)

X

0

such that

Y

Y

+

: (

P

;

Q

)

(

P

;

Q

)

X

0

Y

P

Q

and

Y

Y

: (

P

;

Q

)

/

(

P

;

Q

)

X

0

Y

P

Q

what is equivalent to existence (

P

;

Q

)

X

0

such that

Y

Y

+

:

Y

P

Q

and

Y

Y

:

Y

P /

Q.

For existence of this (

P

;

Q

), it is enough existence of

P

such that intersections

Y

P

are different for different

Y

Y

+

Y

.

Really, for each pair of distinct

Y

0

, Y

1

Y

+

Y

choose a point which lies in

one of the sets

Y

0

,

Y

1

and not in an other, and call the set of such points

P

. Then

Y

P

are different for different

Y

Y

+

Y

.

Corollary

507

.

For an infinite set

X

there is a family

F

of 2

card

X

many

subsets of

X

such that for arbitrary disjoint subfamilies

A

and

B

the set

A∪

n

X

\

A

A

∈B

o

has finite intersection property.

Theorem

508

.

Let

X

be a set. The number of ultrafilters on

X

is 2

2

card

X

if

X

is infinite and card

X

if

X

is finite.

Proof.

The finite case follows from the fact that every ultrafilter on a finite

set is trivial. Let

X

be infinite. From the lemma, there exists a family

F

of 2

card

X

many subsets of

X

such that for every

G ∈

P

F

we have Φ(

F

;

G

) =

d

h↑i

G u

d

h↑i

n

X

\

A

A

∈F \G

o

6

=

F

(

X

)

.

This filter contains all sets from

G

and does not contain any sets from

F \ G

.

So for every suitable pairs (

F

0

;

G

0

) and (

F

1

;

G

1

) there is

A

Φ(

F

0

;

G

0

) such that

A

Φ(

F

1

;

G

1

). Consequently all filters Φ(

F

;

G

) are disjoint. So for every pair

(

F

;

G

) where

G ∈

P

F

there exist a distinct ultrafilter under Φ(

F

;

G

), but the

number of such pairs (

F

;

G

) is 2

2

card

X

. Obviously the number of all filters is not

above 2

2

card

X

.

Corollary

509

.

The number of filters on

U

is 2

2

card

X

if

U

us infinite and

2

card

U

if

U

is finite.

Proof.

The finite case is obvious. The infinite case follows from the theorem

and the fact that filters are collections of sets and there cannot be more than 2

2

card

U

collections of sets on

U

.

4.5. Some Counter-Examples

Example

510

.

There exist a bounded distributive lattice which is not lattice

with separable center.