Decisive Convergence Spaces.
Die Limes-Uniformisierbarkeit der Limesräume.
Differentation under the integral sign and holomorphy.
Discrete n-tuples in Hausdorff spaces
We investigate the following three questions: Let n ∈ ℕ. For which Hausdorff spaces X is it true that whenever Γ is an arbitrary (respectively finite-to-one, respectively injective) function from ℕⁿ to X, there must exist an infinite subset M of ℕ such that Γ[Mⁿ] is discrete? Of course, if n = 1 the answer to all three questions is "all of them". For n ≥ 2 the answers to the second and third questions are the same; in the case n = 2 that answer is "those for which there are only finitely many points...
Double convergence and products of Fréchet spaces
The paper is devoted to convergence of double sequences and its application to products. In a convergence space we recognize three types of double convergences and points, respectively. We give examples and describe their structure and properties. We investigate the relationship between the topological and convergence closure product of two Fréchet spaces. In particular, we give a necessary and sufficient condition for the topological product of two compact Hausdorff Fréchet spaces to be a Fréchet...
Double Sequences and Iterated Limits in Regular Space
First, we define in Mizar [5], the Cartesian product of two filters bases and the Cartesian product of two filters. After comparing the product of two Fréchet filters on ℕ (F1) with the Fréchet filter on ℕ × ℕ (F2), we compare limF₁ and limF₂ for all double sequences in a non empty topological space. Endou, Okazaki and Shidama formalized in [14] the “convergence in Pringsheim’s sense” for double sequence of real numbers. We show some basic correspondences between the p-convergence and the filter...
Duality for generalized events
Duality Theorems for Algebras in Convenient Categories.