All Questions
Tagged with gn.general-topology reference-request
325 questions
2
votes
1
answer
82
views
Structure of extensions arising in Lie approximation of connected groups
My imperfect understanding is that, by the work of various authors (Gleason, Yamabe, Montgomery, Zippin ...), the following result is known:
Let $G$ be a connected, locally compact, Hausdorff group, ...
- 25.8k
2
votes
1
answer
266
views
Approximate selection for finite-valued upper hemicontinuous/semicontinuous maps?
I'd like to know if there are any known-results on the existence of continuous approximation theorems for upper hemicontinuous (aka upper semicontinuous) maps $\phi: X\rightarrow Y$ which are finite ...
- 85
2
votes
1
answer
187
views
Unitization via "End points compactification"
We know that every compactification of locally compact Hausdorff spaces correspond to a unitization of $C^{*}$ algebras. For example the one point compactification corresponds to the minimal ...
- 356
2
votes
2
answers
439
views
countably complete filters
Is there any description of the set of countably complete filters on the lattice of dense $G_{\delta}$ subsets of a compact, second countable metric space? [I haven't just dreamt this up: it describes ...
- 607
2
votes
0
answers
88
views
Union of two open, open-unicoherent sets whose intersection is connected
I stumbled upon the following proposition, and haven't found an error in my proof yet.
By "open-unicoherence" I mean unicoherence with closed sets replaced with open sets in the definition.
...
2
votes
0
answers
185
views
Properties of universal fibration
I am trying to read the following paper [1] (Becker, James C.; Gottlieb, Daniel Henry
Coverings of fibrations.
Compositio Math.26(1973)) where the authors mentioned that for any fiber $F$,
there ...
- 179
2
votes
0
answers
159
views
Are there hereditarily square-boxed plane continua?
A plane continuum is a bounded, closed and connected subset of the plane.
A bounding box $B$ for a plane continuum $C$ is
a rectangle $B=[a,b]\times[c,d]$ (including sides and interior)
such that $C$ ...
- 1,375
2
votes
0
answers
95
views
References (and a question) on the "fine" topology of powersets
Recently I've been trying to understand powerset topologies better, and came upon the following reference:
Frank Wattenberg, Topologies on the set of closed subsets. Pacific J. Math. 68(2): 537-551 (...
- 11.8k
2
votes
0
answers
67
views
When did derivative algebras first appear?
In the paper "The Algebra of Topology" (Annals of Mathematics, 45, 1944), McKinsey and Tarski proposed derivative algebras (p183) to define the derive set in topology as follows.
Suppose $K$ ...
- 663
2
votes
0
answers
101
views
Concrete topological objects and notions in the category of locales
I have read Peter Johnstone's “The Point of Pointless Topology” and the idea that topological spaces are not quite the right abstraction for topology seems, at least philosophically, rather appealing. ...
- 121
2
votes
0
answers
149
views
Polynomial entropy of topological dynamical systems
For a continuous mapping $\varphi: X \to X$ on a compact Hausdorff space $X$ we define the entropy as follows:
Given open covering $\mathcal{U}$, $\mathcal{V}$ of $X$, we call $\mathcal{V}$ a ...
- 467
2
votes
0
answers
58
views
A generalization of metrics taking values in partial orders
I'm investigating the origin of the following notion:
Let $S=(S, +, <, 0)$ be a partially ordered semigroup with minimum $0$ (such that $<$ is invariant by the action of $+$ on both sides).
A $S$...
- 775
2
votes
0
answers
165
views
Dimension of Cartesian products
Is there a notion of dimension such that for all Borel sets $A,B\subseteq\mathbb{R}^{n}$ we have
$$ \dim(A\times B)=\dim(A)+\dim(B)?$$ For topological, Minkowski, packing and Hausdorff dimension this ...
- 1,648
2
votes
0
answers
141
views
Example of compact fiber bundle with noncompact fibers
This is a cross post of MSE post somehow:
Is there any example of compact fiber bundle $E$ with noncompact fibers $F$?
Obviously if the base space $B$ is $T_1$ then there is no such example.
- 4,195
2
votes
1
answer
112
views
Reference request: placing a set with respect to the integer grid
For $x=(x_1,...,x_n)\in \mathbb{R}^n$, let $Q_x=(x_1,x_1+1)\times ...\times (x_n,x_n+1)$ - the open cube having $x$ in its "bottom left" corner. It seems, I can prove (see a draft here) the following
...
- 5,529
2
votes
0
answers
208
views
Retracting to a bigger compact
Consider the topological spaces $X$ with the following property:
For every compact $K\subseteq X$ there is a compact set $L$ such that $K\subseteq L\subseteq X$ and $L$ is a retract of $X$.
Let ...
- 128k
2
votes
0
answers
134
views
Stone–Weierstrass theorem for stronger topologies
The Stone–Weierstrass theorem gives an easy to check criterion on a (algebra) set of functions $D\subseteq C(X)$ which ensures that $D$ is dense.
Are any similar results for density in $C_b(X)$ ...
- 5,405
2
votes
0
answers
65
views
Projective dimension of the functions with compact support
Let $X$ be a locally compact Hausdorff space. And $C(X)$ the ring of all continous real-valued functions and $J(X)$ the ideal of such functions with compact support.
It is known that $X$ is ...
- 26.5k
2
votes
0
answers
126
views
Homeomorphic extension to totally disconnected sets
Dear Mathoverflow Community,
I am looking for a reference for the following topological fact:
Fact
Let $E$ and $F$ be two totally disconnected compact subsets of the plane (can assume perfect if ...
- 2,154
2
votes
0
answers
120
views
Two small uncountable cardinals related to Q-sets
A subset $A$ of the real line is called a Q-set if any subset of of $A$ is of type $F_\sigma$ in $A$.
Let $\mathfrak q_0$ be the smallest cardinality of a subset $X\subset\mathbb R$ which is not a Q-...
- 41.9k
2
votes
0
answers
65
views
Splitting of ordinals of oscillation ranks of a Baire $1$ function
Denny and Tang proved that
Theorem $2.3$ Let $(f_n)$ be a sequence in $\mathfrak{B}_1(K)$ converging pointwise to a function $f.$
Suppose $\sup\{ \beta(f_n):n\in\mathbb{N} \} \leq \beta_0$ and $\...
- 623
2
votes
0
answers
83
views
Sheaf of R-modules and modules over compactly supported functions
I'm looking for a reference for the following result:
Let $X$ be a locally compact Hausdorff topological space. let $\mathcal{R}$ be the sheaf of continuous functions with values in $\mathbb{R}$ over ...
- 42.4k
2
votes
0
answers
73
views
Dual equivalence for multioperators
This is a reference request question. But let's start with a few definitions.
Let $L$ and $M$ be two bounded lattices. A multioperator $p$ for $L$ and $M$ is an application $$p : L \to Ft(M)^{op}$$ ...
- 1,017
2
votes
0
answers
467
views
Reference request: The compactness and compact embedding in Besov Space?
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $0<s<1$, $1\leq p<\infty$, and $1\leq \theta\leq\infty$. We denote by $B^{s,p,\theta}(\Omega)$ the Besov space. For ...
- 679
2
votes
0
answers
459
views
Weak topology on subsets of a normed space
I have few questions about the subsets of a normed space $X$ endowed with the weak topology. Let $E$ be such subset.
When is the norm a continuous function on $E$?
When is the metric induced by the ...
- 5,529
2
votes
0
answers
122
views
First-countable topological monoids without local absorbing elements whose topology is induced by a semimetric
This is a follow up of Question 163246. For the reader's convenience, let me first copy&paste some basic definitions.
We let a semimetric on a set $X$ be a function $d: X \times X \to [0,\infty]$ ...
- 10.5k
2
votes
0
answers
371
views
Descriptive set theory on $\mathbb{R}^\mathbb{N}$
The short version of my question is, What is a good source for learning about descriptive set theory on the space $\mathbb{R}^\mathbb{N}$, under the product topology coming from the discrete topology ...
- 20.5k
2
votes
0
answers
369
views
Constructing the Stone space of a distributive lattice
Does anyone have a good reference for the method of giving a topology to a distributive lattice as outlined in M.H. Stone's "Topological representation of distributive lattices and Brouwerian ...
- 10.4k
1
vote
1
answer
1k
views
A new generalisation of dimension? part 2
I worked this theory : A new generalization of the dimension?
I have a theorem about dimensions which is more general and simple than for matroids.
Definition 1: A structure $S$, is a pair $(X, \...
- 4,074
1
vote
1
answer
179
views
Is there any upper bound on the LS-category of open $n$-dimensional submanifolds of $\mathbb{R}^n$?
Suppose $X\subseteq\mathbb{R}^n$ is a connected open bounded $n$-dimensional submanifold.
1) I wonder if for the class of such spaces there is any upper bound on the LS-category of $X$?
2) Is it ...
- 3,173
1
vote
1
answer
130
views
distance-set along the orbit of $e^{2\pi i\theta}$
Let $z=e^{2\pi i\theta}$ for a fixed real number $\theta$. It's known that if $\theta\not\in\mathbb{Q}$ (is irrational) then the set $S(\theta)=\{z^n: n\in\mathbb{N}\}$ is dense on the unit circle $\...
- 43.2k
1
vote
1
answer
732
views
Notations for open and closed sets
I am wondering why a standard notation for open sets is $G$ and that for closed sets is $F$. I mean, $F$ precedes $G$ in the alphabet, whereas open sets are usually introduced before closed ones.
- 128k
1
vote
1
answer
249
views
When are fixed point sets in $T_1$ spaces always closed?
Let $X$ be a topological space, and say that $X$ satisfies the closed fixed point set property if every continuous self-map $f:X\to X$ has fixed point set $\operatorname{Fix}(f)=\{x\in X\mid f(x)=x\}$ ...
- 2,821
1
vote
1
answer
167
views
Collineations of projective spaces and isomorphisms of fields
For a (topological) field $F$ by $FP^2$ we denote the projective plane, i.e., the quotient space of $F^3\setminus\{0\}^3$ by the equivalence relation $\vec x\sim\vec y$ iff $\vec x=\lambda\vec y$ for ...
- 41.9k
1
vote
2
answers
195
views
Reference request: lower sets of a preorder form a lattice
Consider a set $S$ with a preorder $\preceq$ (a preorder is a reflexive and transitive relation). A lower set $A$ of $S$ is defined as a subset of $S$ such that for all $x \in S$ and $y \in A$, if $...
- 695
1
vote
2
answers
223
views
Is $C_b(Q,E)$ linearly isometrically isomorphic to $C(\beta Q,E)$ where $\beta Q$ is the Stone–Čech compactification of $Q$?
Let $Q$ be a locally compact Hausdorff space and $E$ be a Banach space.
Let $C(Q)$ be the collection of all real-valued continuous functions on $Q$ and $C_b(Q,E)$ be the collection of all $E$-valued ...
- 623
1
vote
1
answer
444
views
Stone-Cech compactification of $\mathbb{R}^n$ and smooth functions
I am currently attending a course where we are now covering the Stone-Cech compactification. Today we proved in some detail that extensions of bounded smooth functions on $\mathbb{R}^n$ to $\beta\...
- 19
1
vote
1
answer
204
views
Name of a space with both a topology and a metric that are not compatible?
Let $(X,\tau,d)$ be a space where $\tau$ is a topology and $d$ is a metric, where the topology $\tau$ is not necessarily compatible with $d$.
Is there a canonical name for such a structure (maybe ...
- 775
1
vote
1
answer
932
views
Every topological manifold is a ENR? (Reference)
It seems to be widely known that every topological manifold can be embedded as a neighbourhood retract in euclidean space, I can not find a reference, though.
The reason, why I'm asking this, is that ...
- 1,082
1
vote
1
answer
388
views
About isotopy of simple close curve
In the Primer mapping class group by farb Margalit. We have :
Proposition 1.10 Let $\alpha$ and $\beta$ be two essential simple closed curves in a surface $S$. Then $\alpha$ is isotopic to $\beta$ if ...
- 119
1
vote
1
answer
203
views
Open images of submetrizable spaces
In [Tka] the author writes:
"Every topological space $X$ can be represented as an open continuous image of a completely regular submetrizable space $Y$ (in other words, $Y$ admits a continuous ...
- 115
1
vote
1
answer
486
views
Mandelbrot set and logistic map connection
I'm currently writing an undergraduate thesis on chaos theory with a particular focus on the connection between the Mandelbrot set and the logistic map. I have found scattered posts on this site, ...
1
vote
1
answer
194
views
Modern reference request concerning Efimov's "On dyadic spaces"
Is there any modern reference (book, textbook, monograph, etc.) that contains the following result of B. Efimov (On dyadic spaces // Dokl. Akad. Nauk SSSR 151 (1963) (Russian). English translation: ...
- 895
1
vote
1
answer
908
views
What are the topological properties of the metric space retained (inherited) for its completion
Let $(X,d)$ be a metric space and $(\bar{X},\bar{d})$ its completion.
There is a list of topological properties
Wikipedia - Topological property
Does anybody know list which of them are retained (...
1
vote
0
answers
87
views
Convergence and sequential compactness for nonlinear operators
I have a family of operators $T_n\colon X \to Y$ where $X,Y$ are Hilbert spaces. These operators are nonlinear.
What kind of notions of convergence does one have for such operators? I'm specifically ...
- 251
1
vote
0
answers
90
views
Well-embedded type property for bounded functions
According to @Tyrone the term well-embedded set was first used in Measures on Metacompact Spaces by W. Moran.
In the article Extensions of Zero-sets and of Real-valued Functions by R. Blair and A. ...
- 1,201
1
vote
0
answers
76
views
Shellable non-pseudomanifolds with dimension greater than 2
Shellability of simplicial balls and spheres (simplicial complexes whose geometric realizations are homeomorphic to balls and spheres) has been studied quite extensively. There are many explicit ...
1
vote
0
answers
76
views
Uniform approximation over compacts using weighted function spaces
I'm interested in approximations over the so-called weighted function spaces.
Let $(X,\tau_X)$ be some completely regular Hausdorff topological space. Additionally, consider some map $\psi: X \to (0,\...
- 161
1
vote
0
answers
84
views
Is there a standard name for the following class of functions on non-Hausdorff manifolds?
Let $M$ be a (not necessarily Hausdorff) smooth manifold. Given an open chart $U\subset M$ and a compactly-supported smooth function $f:U\to\mathbb{R}$ on $U$, define $\widetilde{f}:M\to\mathbb{R}$ by ...
- 2,178
1
vote
1
answer
80
views
Reference for k-Hausdorff (in terms of compact T2 images)
In Rezk - Compactly generated spaces a k-Hausdorff property is defined, between weakly Hausdorff and unique sequential limits.
On the other hand, a stronger notion of k-Hausdorff between $T_2$ and ...
- 1,352