Morita conjectures

Last updated

The Morita conjectures in general topology are certain problems about normal spaces, now solved in the affirmative. The conjectures, formulated by Kiiti Morita in 1976, asked

  1. If is normal for every normal space Y, is X a discrete space?
  2. If is normal for every normal P-space Y, is X metrizable? [1]
  3. If is normal for every normal countably paracompact space Y, is X metrizable and sigma-locally compact?

The answers were believed to be affirmative. Here a normal P-spaceY is characterised by the property that the product with every metrizable X is normal; thus the conjecture was that the converse holds.

Keiko Chiba, Teodor C. Przymusiński, and Mary Ellen Rudin [2] proved conjecture (1) and showed that conjectures (2) and (3) cannot be proven false under the standard ZFC axioms for mathematics (specifically, that the conjectures hold under the axiom of constructibility V=L).

Fifteen years later, Zoltán Tibor Balogh succeeded in showing that conjectures (2) and (3) are true. [3]

Notes

  1. Morita, Kiiti (1977). "Some problems on normality of products of spaces". In Novák, Josef (ed.). General topology and its relations to modern analysis and algebra, IV (Proc. Fourth Prague Topological Sympos., Prague, 1976), Part B. Prague: Soc. Czechoslovak Mathematicians and Physicists. pp. 296–297. MR   0482657.
  2. Chiba, Keiko; Przymusinski, Teodor C.; Rudin, Mary Ellen (1986). "Normality of product spaces and Morita's conjectures". Topology and Its Applications . 22 (1): 19–32. doi:10.1016/0166-8641(86)90074-X. MR   0831178.
  3. Balogh, Zoltán (2001). "Nonshrinking open covers and K. Morita's duality conjectures". Topology and Its Applications . 115 (3): 333–341. doi:10.1016/S0166-8641(00)00067-5. MR   1848133.

Related Research Articles

In topology and related areas of mathematics, a product space is the Cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more natural-seeming, topology called the box topology, which can also be given to a product space and which agrees with the product topology when the product is over only finitely many spaces. However, the product topology is "correct" in that it makes the product space a categorical product of its factors, whereas the box topology is too fine; in that sense the product topology is the natural topology on the Cartesian product.

In mathematics, a topological space is called separable if it contains a countable, dense subset; that is, there exists a sequence of elements of the space such that every nonempty open subset of the space contains at least one element of the sequence.

This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology. For a list of terms specific to algebraic topology, see Glossary of algebraic topology.

In topology and related branches of mathematics, a normal space is a topological space X that satisfies Axiom T4: every two disjoint closed sets of X have disjoint open neighborhoods. A normal Hausdorff space is also called a T4 space. These conditions are examples of separation axioms and their further strengthenings define completely normal Hausdorff spaces, or T5 spaces, and perfectly normal Hausdorff spaces, or T6 spaces.

In mathematics, a paracompact space is a topological space in which every open cover has an open refinement that is locally finite. These spaces were introduced by Dieudonné (1944). Every compact space is paracompact. Every paracompact Hausdorff space is normal, and a Hausdorff space is paracompact if and only if it admits partitions of unity subordinate to any open cover. Sometimes paracompact spaces are defined so as to always be Hausdorff.

<span class="mw-page-title-main">General topology</span> Branch of topology

In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology.

In mathematics, a Lindelöf space is a topological space in which every open cover has a countable subcover. The Lindelöf property is a weakening of the more commonly used notion of compactness, which requires the existence of a finite subcover.

In mathematics, the lower limit topology or right half-open interval topology is a topology defined on , the set of real numbers; it is different from the standard topology on and has a number of interesting properties. It is the topology generated by the basis of all half-open intervals [a,b), where a and b are real numbers.

In topology, a second-countable space, also called a completely separable space, is a topological space whose topology has a countable base. More explicitly, a topological space is second-countable if there exists some countable collection of open subsets of such that any open subset of can be written as a union of elements of some subfamily of . A second-countable space is said to satisfy the second axiom of countability. Like other countability axioms, the property of being second-countable restricts the number of open sets that a space can have.

In topology and related areas of mathematics, a topological property or topological invariant is a property of a topological space that is invariant under homeomorphisms. Alternatively, a topological property is a proper class of topological spaces which is closed under homeomorphisms. That is, a property of spaces is a topological property if whenever a space X possesses that property every space homeomorphic to X possesses that property. Informally, a topological property is a property of the space that can be expressed using open sets.

Zoltán "Zoli" Tibor Balogh was a Hungarian-born mathematician, specializing in set-theoretic topology. His father, Tibor Balogh, was also a mathematician. His best-known work concerned solutions to problems involving normality of products, most notably the first ZFC construction of a small Dowker space. He also solved Nagami's problem, and the second and third Morita conjectures about normality in products.

<span class="mw-page-title-main">Mary Ellen Rudin</span> American mathematician (1924–2013)

Mary Ellen Rudin was an American mathematician known for her work in set-theoretic topology. In 2013, Elsevier established the Mary Ellen Rudin Young Researcher Award, which is awarded annually to a young researcher, mainly in fields adjacent to general topology.

In mathematics, set-theoretic topology is a subject that combines set theory and general topology. It focuses on topological questions that are independent of Zermelo–Fraenkel set theory (ZFC).

In linear algebra, functional analysis and related areas of mathematics, a quasinorm is similar to a norm in that it satisfies the norm axioms, except that the triangle inequality is replaced by for some

In mathematics, more specifically point-set topology, a Moore space is a developable regular Hausdorff space. That is, a topological space X is a Moore space if the following conditions hold:

In mathematics, specifically in the field of topology, a monotonically normal space is a particular kind of normal space, defined in terms of a monotone normality operator. It satisfies some interesting properties; for example metric spaces and linearly ordered spaces are monotonically normal, and every monotonically normal space is hereditarily normal.

Kiiti Morita was a Japanese mathematician working in algebra and topology.

In the mathematical field of general topology, a Dowker space is a topological space that is T4 but not countably paracompact. They are named after Clifford Hugh Dowker.

In mathematics, a Hurewicz space is a topological space that satisfies a certain basic selection principle that generalizes σ-compactness. A Hurewicz space is a space in which for every sequence of open covers of the space there are finite sets such that every point of the space belongs to all but finitely many sets .

References