Some constructive roads to Tychonoff
نویسنده
چکیده
The Tychonoff Theorem is discussed with respect to point-free topology, from the point of view of both topos-valid and predicative mathematics. A new proof is given of the infinitary Tychonoff Theorem using predicative, choice-free methods for possibly undecidable index set. It yields a complete description of the finite basic covers of the product.
منابع مشابه
Compactness and the Stone-Weierstrass theorem in pointfree topology
Pointfree topology is, as the name suggests, a way of studying spaces without (mentioning) points. This idea is more natural than one might initially think. For example, when drawing a point on paper, we do no draw an actual point, but a collection of points somewhere near the desired one. We drew a “spot”, which can be reduced in size if that would be required to serve our purposes. Hence it m...
متن کاملCertain Weakly Generated Noncompact, Pseudo-compact Topologies on Tychonoff Cubes
Given an uncountable cardinal א, the product space I, I = [0, 1], is called a Tychonoff cube. A collection of closed subsets of a subspace Y of a Tychonoff cube I that covers Y determines a weak topology for Y . The collection of compact subsets of I that have a countable dense subset covers I. It is known from work of the author and I. Ivanšić that the weak topology generated by this collectio...
متن کاملA Tychonoff theorem in intuitionistic fuzzy topological spaces
The purpose of this paper is to prove a Tychonoff theorem in the so-called “intuitionistic fuzzy topological spaces.” After giving the fundamental definitions, such as the definitions of intuitionistic fuzzy set, intuitionistic fuzzy topology, intuitionistic fuzzy topological space, fuzzy continuity, fuzzy compactness, and fuzzy dicompactness, we obtain several preservation properties and some ...
متن کاملPerfect compactifications of functions
We prove that the maximal Hausdorff compactification χf of a T2-compactifiable mapping f and the maximal Tychonoff compactification βf of a Tychonoff mapping f (see [P]) are perfect. This allows us to give a characterization of all perfect Hausdorff (respectively, all perfect Tychonoff) compactifications of a T2-compactifiable (respectively, of a Tychonoff) mapping, which is a generalization of...
متن کاملNiemytzki Plane - an Example of Tychonoff Space Which Is Not T4
We continue Mizar formalization of General Topology according to the book [20] by Engelking. Niemytzki plane is defined as halfplane y ≥ 0 with topology introduced by a neighborhood system. Niemytzki plane is not T4. Next, the definition of Tychonoff space is given. The characterization of Tychonoff space by prebasis and the fact that Tychonoff spaces are between T3 and T4 is proved. The final ...
متن کامل