Skip to main content

All Questions

Filter by
Sorted by
Tagged with
5 votes
2 answers
448 views

Space of curves

I am reading Burago, Burago & Ivanov's book where they distinguish the notion of a curve and a path in the following way: a path in a topological space $X$ is simply a (continuous) map from a ...
erz's user avatar
  • 5,529
4 votes
1 answer
384 views

Extending the hyperbolic splitting on $\Lambda$ to a neighborhood of $\Lambda$

Let $M$ be a compact Riemannian manifold and let $f:M→M$ a diffeomorphism. Let $\Lambda\subset M$ be a compact invariant subset of $M$. We say that $\Lambda $ is a hyperbolic set for $f$ when there ...
user avatar
4 votes
0 answers
182 views

Symmetric line spaces are homeomorphic to Euclidean spaces

For points $x,y,z$ of a metric space $(X,d)$ we write $\mathbf Mxyz$ and say that $y$ is a midpoint between $x$ and $z$ if $d(x,z)=d(x,y)+d(y,z)$ and $d(x,y)=d(y,z)$. Definition: A metric space $(X,d)$...
Taras Banakh's user avatar
  • 41.9k
3 votes
1 answer
192 views

Co-analytic $Q$-sets

A subset $A\subseteq \mathbb{R}$ is said to be a $Q$-set if every subset $B\subseteq A$ is $F_\sigma$ wrt the subspace topology on $A$. For example $\mathbb{Q}$ is a $Q$-set. The first time I have ...
Lorenzo's user avatar
  • 2,286
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]$ ...
Salvo Tringali's user avatar
2 votes
2 answers
589 views

What to call a continuous function with preimage preserving nowhere-density?

Currently I am reading some basic literature on descriptive set theory and boolean algebras. And this comes out a lot, for example in results like: Let $X$ and $Y$ be topological spaces, and $f:X \to ...
2 votes
2 answers
241 views

If $(\mathbb M, \tau)$ is a topological monoid, is $\tau$ always induced by a [left] subinvariant semimetric?

Let me start by recalling some basic definitions (just for the sake of avoiding misunderstandings due to the vocabulary of the post). Basically following some ideas of W. Lawvere (but not his ...
Salvo Tringali's user avatar
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 ...
Iosif Pinelis's user avatar
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\...
student's user avatar
  • 19
1 vote
1 answer
731 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.
Iosif Pinelis's user avatar

1
2