• 검색 결과가 없습니다.

Point-like decompositions of $S^n$ which do not yield $S^n$

N/A
N/A
Protected

Academic year: 2022

Share "Point-like decompositions of $S^n$ which do not yield $S^n$"

Copied!
2
0
0

로드 중.... (전체 텍스트 보기)

전체 글

(1)

23

Point-like Decompositions of sn Which Do Not Yield sn

JEHPILL KIM

If

H is a collection of disjoint compacta in a space, we denote

by

H* the sum of members of H. An element g of H is said to be central or noncentral in H accord- ing as g contains a limit point of H*-g or not.

If Cl

is an ordinal then, by letting H

=

He, we define inductively Ha to ce the collection of members of H which are central in all Hp for f3 <c. As in [2J, an element of H is said to be essential or ines- sential in H according as it belongs to Ha for all countable ordinal a or not; H is a countably discrete collection if H

a

=</> for some countable ordinal a.

Let C be an upper semicontinuous decomposition of the n-sphere sn, and let H

denote the collection of nondegenerate elements of

C.

J. L. Bailey [lJ announces that if

H

is a countable collection of point-like continua and the decomposition space of

C

is not homeomorphic with Sn then there is a subcollection Hr of H in which every element is noncentral such that H' is the collection of nondegenerate elements of some upper semicontinuous decomposition C' of Sn whose decomposition space is not homeo- morphic with sn. The purpose of this note is to point out how the results of our earlier work [2J imply that this remains still true even if

H

is not required to be a countable collection. Note also that the other of the two theorems reported in [lJ is a special case of Lemma 7 of [2].

LEMMA 1.

Let H be a collection of disjoint compacta in a separable metric space. If each element of H is inessential then H is a countably discrete collection.

Proof. Let x be a point in H*-Ha*, and let g be the unique element of H containing x. Then

gEHp - Hp+!

for some f3 <C!, and there is a neighborhood of x disjoint from H.*. Thus H*-Ha* is open in H*, and the sets H*-Ha* form an open cover of H*, where the a's run over the set of countable ordinals. Since a separable metric space is hereditarily Lindel6f, there are countable ordinals an' n =

1,

2, ... "', such that the sets H*-Ha .* also cover H*. On the other hand, a countable set cannot be cofinal in the set of countable ordinals, and so there is a countable ordinal a with

an~a

for all

n.

For this

a,

we have H*-Ha*

=

H*, completing the proof.

LEMMA

2. Let C be an upper semicontinuous decomposition of the n-sphere Sn, and let H and H' denote, respective/v, the collection of nondegenerate elements of C and the collection of essential elements of H Then the decomposition -C' of Sn into points and members of H' is upper semicontinuous.

Proof. By Lemma 1, the collection of inessential elements of His countably discrete,

Received by the editors September 21, 19058.

(2)

24 Jehpill Kim

and we have H'

=

Ha for some countable ordinal a. Upper semicontinuity of C' follows from [2, Lemma 4J.

THEOREM.

Let

G

be an upper semicontinuous decomposition of the n-sphere

S"

into point-like continua, and let H denote the collection of nondegenerate elements of

G.

If the decomposition space of G is not homeomorphic with S' then there is a subcollection H' of H in which every element is essential such that H' is the collection of nondegenerate elements of some upper semicontinuous decomposition C' having the decomposition space homeomorphic UJith that of

G.

Proof. Let H' be the collection of essential elements of H. Then H' is nonempty as otherwise the decomposition space of

G

must be homeomorphic with

S"

by Lemma 2 and [2, Theorem 2J.

It

is also obvious that each element of

H'

is essential. That this H' satisfies all claims of the theorem fo:lows now from Lemma 7 of [2J.

References

1. J. L. Bailey, Point-like upper semicontinuous decompositions of53, Notices Amer. Math. Soc., 14(1967), 917.

2. Jehpill Kim, A note on upper semicontinuous decompositions of the n-sphere, Duke Math. ]., 33 (1966), 683-687.

Seoul National University

참조

관련 문서

•  Each observed shape is now a point (vector) x in 2*K dimensional space. •  The “mean shape” is the center of mass of

Some part of the book, age ethics do not depart perfectly in terms of is fictionalized, people's emotion to through each hero, as well as in terms of is not

In this study, it is shows that the stream of CO 2 is more effective in the reduction of unreacted TEGDMA and the increase of surface microhardness than that of N 2

Step 2: Beginning from the perception that there is a need to protect the environment of historic buildings throughout the 1960s and 70s, This is not a preservation centered

 Reduce: If a state has a reduce item, (1) pop stack for every symbol on the RHS (2) push GOTO(top of stack, LHS).  Accept: if we reduce S ‟  S and there is

• In any flow of a barotropic inviscid fluid, the circulation about any closed path does not vary with time if the contour is imagined to move with the fluid, that is, always to

Especially we argue that some aspect of 어기부사(語氣副詞) in Chinese, which is considered to be a discourse-oriented adverb in English, is like

n The magnitude of the buoyant force acting on a floating body in the fluid is equal to the weight of the fluid which is displaced by