# Questions tagged [gn.general-topology]

Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.

2,951 questions
201 views

### Example of a Baire Class $1$ function $f$ satisfying $\omega\cdot n<\beta(f)\leq \omega\cdot (n+1)$ for some natural number $n\geq 1.$

Definitions: Let $X$ be a Polish space (separable completely metrizable topological space). A function $f:X\to\mathbb{R}$ is Baire Class $1$ if it is a pointwlise limit of a sequence of continuous ...
151 views

### Hausdorff quotient space with compact or finite inverse images

Let $X$ be a locally compact, second countable Hausdorff topological space and let $Y$ be a Hausdorff quotient of $X$. Let $q:X\to Y$ denote the quotient map. Then for $y\in Y$, $q^{-1}(y)$ is a ...
140 views

### Homeomorphic open sets and total disconnectedness

If $(X,\tau)$ is a $T_2$-space such that all non-empty open sets are homeomorphic (with the subspace topology) to $X$, is there for all $x,y\in X$ with $x\neq y$ a clopen (closed and open) set ...
203 views

### Examples of Baire Class $\xi+1$ but not $\xi$ functions for each countable ordinal $\xi.$

We say that $f:\mathbb{R}\to\mathbb{R}$ is of Baire Class $1$ if it is a pointwise limit of a sequence of continuous functions. One can generalize the definition above by taking pointwise limit of ...
84 views

### point-wise approximation of the identity in hereditary Lindelof spaces

Let $X$ be a topological vector space. Assume that there exists a sequence of finite range measurable functions $\phi_n:X\to X$ with $\lim\phi_n(x)=x$. Q. Can we concluded that $X$ is hereditery ...
114 views

114 views

### Thick refinements of covers

Let $(X,\tau)$ be a topological space, and let ${\cal U}$ be an open cover. We say that ${\cal U}$ is thick if for all $x\in X$ we have $$|\{V\in {\cal U}: x\in V\}| = |X|.$$ Is there a Hausdorff ...
105 views

### Is each closed subgroups of $\mathbb R^\omega$ isomorphic to a Tychonoff product of locally compact Abelian groups?

It is known that any closed linear subspace of $\mathbb R^\omega$ is topologically isomorphic to $\mathbb R^n$ for some $n\in\omega$. Problem 1. Is each closed subgroup of $\mathbb Z^\omega$ (or ...
360 views

### Homeomorphic open sets and homogeneity

If $(X,\tau)$ is a $T_2$-space such that all non-empty open sets are homeomorphic (with the subspace topology) to $X$, is $(X,\tau)$ necessarily homogeneous?
199 views

### Cogenerator of Categories of Topological Spaces Satisfying Some Separation Axiom

This question begins with a sort of mysterious comment at the bottom of this Wikipedia page on injective cogenerators. There, it is said, without citation or proof, that as a result of the Tietze ...
94 views

91 views

### Question about upper semicontinuous functions

Let $p\in\mathbb N$ and $A$ a set. Denote by $[A]^{\leq p}$ the set of all subsets of $A$ with cardinality less than or equal to $p$. Does exist a compact Hausdorff space $K$ such that there is no ...
2k views

### Are uniformly continuous functions dense in all continuous functions?

Suppose that $X$ is a metric space. Is the family of all real-valued uniformly continuous functions on $X$ dense in the space of all continuous functions with respect to the topology of uniform ...
295 views

### Homeomorphism-fixing subsets

If $(X,\tau)$ is a topological space, we say $Y\subseteq X$ is homeomorphism-fixing if the only homeomorphism $\varphi:X\to X$ such that for all $y\in Y$ we have $\varphi(y)=y$ is the identity map. ...
457 views

### Nice partition of $\mathbb{R}$ into uncountably many uncountable sets

A recent issue of American Math. Monthly has a paper that partitions $\mathbb{R}$ into an arbitrary finite number of uncountable sets such that every real number is a condensation point of all the ...
210 views

### Approximation of the identity by finite range functions in topological vector spaces

Let $X$ be a topological vector space. Assume that there exists a sequence $\phi_n:X\to X$ of finite range measurable functions with $\lim\phi_n(x)=x$ for every $x\in X$. Can we concluded there exists ...
306 views

### If $(X,\tau)$ has more than $1$ point and is $T_2$ and connected, do we have $|X| =|\tau|$?

If $(X,\tau)$ has more than $1$ point and is $T_2$ and connected, do we necessarily have $|X| =|\tau|$?
113 views

### A special topological property

Let us say a topological space $X$ is a countable union of second countable spaces if there exists a sequence of subsets $\{X_n\}$ of $X$ with $X=\cup X_n$ such that the relative topology on $X_n$'s ...
196 views

129 views

### Is there a connected $T_2$-topology on $\mathbb{Q}$ that is coarser than the Euclidean one?

Let $\mathbb{Q}$ be the rationals, and let $\tau$ be the Euclidean topology on $\mathbb{Q}$. Is there a topology $\tau' \subseteq \tau$ such that $(\mathbb{Q},\tau')$ is connected and $T_2$?
295 views

### Approximation of the identity by simple functions

Let $X$ be a topological space. Assume that there exists a sequence of simple functions $\phi_n:X\to X$ (finite range and measurable) with $\lim\phi_n(x)=x$. Can we concluded $X$ may be written by a ...
140 views

### Are second-countable subsets of topological vector spaces metrizable?

Let $X$ be a topological vector space of size $\mathfrak{c}$. Assume that there exists a countable union $X=\cup X_n$ such that all subsets $X_n$'s are relatively second countable. Q. Does there ...
104 views

### Approximation on separable topological space with size $\mathfrak{c}$

Let $X$ be a separable topological space of size $\mathfrak{c}$. By a simple function $\phi:X\to X$, we mean a finite range valued measurable function. Q. Is it possible to find a sequence of ...
74 views

### Connected $T_2$-space such that the open sets are closed under countable intersection

This question has a trivial starting point: If the open sets of $\mathbb{R}$ were closed under countable intersection, the Euclidean topology would be discrete because for all $x\in\mathbb{R}$ we have ...
108 views

### A point concerning Fremlin's example on Borel sets in non-separable Banach spaces

Let $E$ be a Banach space. Let us consider the following three sigma algebras on $E$. $~~~~\mathcal{B}$= The $\sigma$-algebra coming from the norm topology. $~~\mathcal{M}$= The sigma algebra ...
130 views

### Comparing two $\sigma$-algebras

Let $X$ be a set. We denote $P(X)$ by the family of all subsets of $X$. We also denote $P(X)\otimes_{\sigma}P(X)$ by the $\sigma$-algebra generated by $\{A\times B: A,B \subseteq X\}$. Q. For which ...
432 views

### $T_2$-spaces where all non-empty open sets are homeomorphic

We say that a $T_2$-space $(X,\tau)$ has homeomorphic open sets if every non-empty open set $U\subseteq X$ endowed with the subspace topology is homeomorphic to $(X,\tau)$. The rationals with the ...
77 views

### A compact set in the plane with small sum-set and large projections

Problem. Let $K$ be a compact subset of the plane such that the projection of $K$ on each line has non-empty interior in the line. Has $K+K$ or $K-K$ non-empty interior in the plane? Remark. The ...
136 views

### Boundedness of Dirac deltas

Suppose that $X$ is a metric space and let $C_k(X)$ denote the space of real functions on $X$ with the topology of uniform convergence on compact sets. Then $C_k(X)$ is a topological vector space. Let ...