All Questions
5,184 questions
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
1
answer
301
views
Is there existing terminology for this technical condition on semilattices?
Given a semilattice $S$, a subset $E$, and a positive integer $n$, let $E^{[n]}$ be the set of all products of $n$-tuples in $E$. Thus $\bigcup_{n\geq 1} E^{[n]}$ is nothing but the subsemigroup of $S$...
- 25.8k
2
votes
0
answers
96
views
Branch point and alexandrov embeddedness
This is a question I have asked on mathstackexchange with a bounty but without any answer; it is probably more adapted to mathoverflow:
Let us assume that $\Sigma_n$ is a sequence of topological ...
- 914
4
votes
1
answer
2k
views
Fiber bundle = principal bundle + fiber?
This question is heavily related to this question.
Fix a sufficiently nice and connected topological space $B$ and let $FB$ be the category of fiber bundles over $B$. A morphism $f: (E\to B)\to (E'\...
- 1,085
2
votes
1
answer
190
views
Test functions with small support and nonnegative Fourier transform
The following problem arose in a question I recently asked : given a (possibly non abelian) compact group $G$ and a neighbourhood $U$ of the identity in $G$, can we always find a function $f : G \...
- 235
-2
votes
1
answer
476
views
Countable open subgroup
In a Hausdorff topological group, how can I show that every infinite topological group has a countable open subgroup?
- 7
6
votes
0
answers
410
views
Fundamental group of non-Hausdorff surfaces & actions of discrete Heisenberg group
Let $G$ be a discrete group, acting on a space $X$ (by homeomorphisms). I will say that the action is properly discontinuous if for any $x, y \in X$, there are neighborhoods $U_x$ and $U_y$ such that ...
- 616
2
votes
0
answers
136
views
equivalence of topologies defined on $M_1$(a subspace of bounded measures on $\mathbb{R}$)
Let $\mathcal{C}:=\mathcal{C}(\mathbb{R})$ be the space of continuous functions on $\mathbb{R}$ and $\mathcal{C}_b$ its subspace consisting of bounded elements. Define for $\phi(x):=1+|x|$,
$$
\...
- 1,835
-3
votes
2
answers
1k
views
Finite versus infinite on non-Hausdorff topologies [closed]
Question: Does there exist some real-valued function $f(x)$ where $f: \mathbb{R} \to \mathbb{R}$, for which $\lim_{x \to \infty}$ converges on a non-Hausdorff topology but does not converge on a ...
- 283
3
votes
3
answers
384
views
Collapsing contractible subsets of the two-disk.
This question is quite specific, but it may admit answers in more general contexts.
Consider a subset $\Lambda \subset D^2$ where $D^2$ is the two dimensional disk.
We consider in $\Lambda$ an ...
- 3,928
2
votes
1
answer
743
views
weak metric space
In the definition of a metric space, replace the triangle inequality by the weaker inequality
d (x, z) ≤ C max {d (x, y), d (y, z)},
where C is a positive constant (depending on the "metric", ...
0
votes
0
answers
559
views
Visualizing self-homeomorphism of a cylinder over a torus
A cylinder over a torus is by definition $S^1 \times S^1 \times I$ , here $I=[0,1]$.
One way to visualize it is to thick a torus in $\mathbb{R}^3$. ( $S^1 \times I$ is an annulus, and revolve it (...
- 93
2
votes
1
answer
341
views
showing uniformly continuous
Let $(X,d)$ be a metric space and $(a_n)$ be a sequence of distinct points in $ X$ such that each $a_n$ is a limit point of $X$. If $U_n$ 's are mutually disjoint open neighbourhoods of $a_n$ in $X$. ...
- 21
3
votes
1
answer
358
views
Is ω1 × βN normal?
Once upon a time I asked whether $\omega_1 \times \beta \mathbb{N}$ is normal. I got the answer no and a fairly convincing proof of this here
However I'm currently in a situation where I have three ...
- 1,331
1
vote
1
answer
1k
views
Besicovitch Covering Constant for R^1
In the case where $E\subset\mathbb{R}^1$, a Besicovitch cover of $E$ is a cover by open intervals such that each point of $E$ is the center of some interval in the cover.
The Besicovitch Covering ...
- 111
1
vote
1
answer
595
views
When is a bijective map between bundles a homeomorphism?
Let $F \rightarrow E_i \rightarrow X_i$ be a bundle with fibre $F$ for i=1,2.
Let $f:E_1 \rightarrow E_2$ be a bijective continuous map and $h: X_1 \rightarrow X_2$ a homeomorphism.
Is f then also ...
- 165
2
votes
1
answer
526
views
Meaning of "Compact" in 1932 Paper by van der Waerden "Continuity Theorem for Semisimple Lie Groups".
I am putting together an exposition on Lie theory; maths research is not my day job, let alone real maths history, so apologies in advance for any ignorance shown by these questions.
I am attempting ...
- 1,161
1
vote
0
answers
178
views
Proving that two given functionally structured spaces are isomorphic
The relevant definitions are listed below. They can be found in Chapter VI, pages 297-298 of Bredon's Introduction to Compact Transformation Groups; and Section 2, Chapter II of Bredon's Topology and ...
- 111
1
vote
0
answers
365
views
Killing homotopy groups by removing subsets
Let $X$ be a locally finite CW-complex and let $U$ be an open subset of $X$. Given a non-zero homotopy class $x\in\pi_i(U)$ say, is it possible to find a closed subset $Z\subset U$ whose removal from $...
2
votes
0
answers
156
views
Is there a better function (linear or even a projection)?
Let $A$ be a finite $n$-element set. Let $\mathbb R^A$ be an $n$-dimensional Euclidean space (with the ordinary Euclidean distance). Let $X$ be an arbitrary topological space. Consider a continuous ...
- 7,500
1
vote
2
answers
378
views
Is this a pre-ordered commutative semigroup?
Motivation
I'm studying an approach to axiomatic thermodynamics based on the notion of commutative semigroup $(S,+)$ with a preorder relation $\to$ on $S$. In other words, $S$ is non-empty set, the ...
- 33.3k
6
votes
0
answers
2k
views
Weak lower semi-continuity
Which conditions assure the weak lower semicontinuity of, say, an integral functional of the type
$F(u):=\int_\Omega f(u(x),Du(x))dx$ on $W^{1,2}(\Omega,\mathbb{R}^N)$ for a bounded, if you will even ...
5
votes
0
answers
93
views
Separation of topological group elements by invariant neighbourhooods
Let $G$ be a topological group that is Hausdorff, that is, for every pair $(g,h)$ of distinct elements of $G$, there exist disjoint open sets $U_g$ and $U_h$ such that $g \in U_g$ and $h \in U_h$.
...
- 4,728
3
votes
3
answers
444
views
Shape of long sequences in C(ω_1)
Apologies for the vague title - I couldn't come up with a single sentence that summarised this problem well. If you can, please edit or suggest a better one!
This question is also rather specific and ...
- 1,331
5
votes
1
answer
438
views
Fixed points sets of pushouts
Let $G$ be a group and $X \to Y, X \to Z$ morphisms of $G$-sets with pushout $P=Y \cup_X Z$. Is then $P^G$ the pushout of $X^G \to Y^G, X^G \to Z^G$? This is not clear from general category theory, ...
- 63.1k
0
votes
1
answer
423
views
What Is This Quotient Space?
Let $X$ be a finite CW-complex with only even cells $x_1,\ldots, x_k$ and let $Y$ be the complex obtained by attaching one more even cell to $X$, call it $y$. Assume both $X$ and $Y$ are connected. ...
- 61
3
votes
1
answer
392
views
Can cones (toric monoids) be built as colimits of their faces?
Suppose $L$ is a lattice (free abelian group) and $\sigma$ is a (pointed) spanning rational cone in $L\otimes\mathbb Q$. Then $M=L\cap \sigma$ is a monoid with $M^{gp}=L$. A monoid of this form is ...
- 24.1k
0
votes
1
answer
304
views
a questions about the sums of intersections of maximal ideals
why the z-ideals in C(X) are basically the sums of intersections of maximal ideals?
- 1
4
votes
1
answer
216
views
closed set and z-ultrafilter on normal space
Let $X$ be a completely regular, Hausdorff topological space and let $\cal F$ be a $z$-ultrafilter on $X$. Then for each zero set $W$ in $X$, either $W\in \cal F$ or there exists $Z\in \cal F$ such ...
- 607
1
vote
1
answer
132
views
Generalized connected components decomposition for Priestley spaces
Preliminaries A partially ordered space is both a poset and a topological space. It has connected components both as a topological space, and connected components as a poset, i.e. the maximal ...
- 2,464
2
votes
2
answers
343
views
Action of centralizer on Borel-Moore homology of Springer Fibers for Affine Hecke Algebra
In Chriss and Ginzburg's "Representation Theory and Complex Geometry", they describe a geometric construction of representations of the affine Hecke algebra, using the Borel-Moore homology of ...
- 83
4
votes
1
answer
720
views
Are coordinate functionals on complete vector spaces always continuous?
(I'm just adding the completeness condition to $V$ from this 2 month old question of mine, because I realized it's relevant to whether Bill Johnson's answer to this 4 month old question of mine ...
user5810
3
votes
0
answers
277
views
For METRIZABLE spaces, do the Banach classes and Baire classes coincide?
In this paper: 'Borel structures for Function spaces' by Robert Aumann,
http://projecteuclid.org/euclid.ijm/1255631584
Aumann claims that when X and Y are metric spaces (among other things), the ...
- 456
4
votes
2
answers
452
views
A family of subsets with a "gluing" property
Somewhat in line with this previous MathOverflow question:
I'm looking at a combinatorial structure consisting of a finite set $S$ of objects, and a family $F$ of designated subsets of $S$. We call ...
- 306
2
votes
1
answer
182
views
How (and when) to factor a function defined on a product of metric spaces?
Suppose we have a set of regular functions defined on a product of metric spaces, for instance the Banach space of the smooth functions from $\mathbb R^n$ to $\mathbb C$. We know, thanks to the Taylor ...
- 164
1
vote
1
answer
171
views
Non-compact structure group and compactly supported gauge transformations
Let $\pi\colon P\to X$ be a locally trivial principal $G$-bundle over a Hausdorff paracompact space $X$, where $G$ is a topological group (we work in the category of topological spaces, as I do not ...
- 523
8
votes
0
answers
833
views
Is there a generalization of Brouwer's fixed point theorem?
In essence, this is the same problem as in
“The generalization of Brouwer's fixed point theorem?”.
But now I am determined to be careful. The main question is
the following:
Is there any ...
- 6,891
1
vote
1
answer
104
views
Is the Sorgenfrey Line monotonically monolithic?
Just as the title explains, is the Sorgenfrey Line monotonically monolithic (see the definition)?
- 654
6
votes
1
answer
297
views
Is there a "natural" characterization of when X × βN is normal?
As per a recent question of mine, $\omega_1 \times \beta \mathbb{N}$ is not normal. I'm wondering whether there's some sort of "natural" condition that describes when a space has a normal product with ...
- 1,331
2
votes
0
answers
76
views
question about a genralized Skorokhod topology
Let $D:=D([0,1], R)$ be the space of all cadlag functions defined on $[0,1]$. Now we have the known Skorokhod topology defined by: $\forall f, g\in D$
$$\rho(f,g):=\inf_{\lambda\in\Lambda}\Big\{\max\...
- 1,835
1
vote
1
answer
163
views
Precompact reflection in diagonal uniform spaces
Each diagonal uniform space $(X,\mathcal D)$ can be derived from the covering uniform space $(X,\Sigma_{\mathcal D})$ and each covering uniform space $(X,\Sigma)$ can be derived from the diagonal ...
user31967
1
vote
1
answer
333
views
Do outer regular outer measures always measure open sets?
Let $ \; \langle X,\mathcal{T} \hspace{.06 in} \rangle \; $ be a second-countable Hausdorff space.
Let $ \; \phi : 2^X \to [0,+\infty] \; $ be an outer regular outer measure.
Does it follow ...
user5810
7
votes
1
answer
433
views
Powers of maps on finite sets
Let $X_n$ be a set with $n$ elements. Write $F(X_n,X_n)$ for the set of maps from $X_n$ to itself. It is a monoid under the operation of composition. Let $m$ be a positive integer. How many maps in $...
- 385
1
vote
1
answer
79
views
Does the network of $X$ equal to the network of $C_p(X)$?
Does the network of $X$ equal to the network of $C_p(X)$?
$C_p(X)$ denotes the set of all real-valued continuous functions on $X$ endowed with the topology of pointwise convergence.
Thanks!
- 654
1
vote
1
answer
216
views
Counting modular squares in an interval
For an integer $m$, let $S^m_{x_0,x_1} = \{ t | x_0 ≤ t ≤ x_1 $ and $t$ is a square modulo $m \}$. Let $S^m_x$ = $S^m_{0,x}$.
Determining whether the sets $S^m_x$ are empty is easy (1 is always a ...
- 123
1
vote
0
answers
315
views
Non trivial definition of bicontinuous functions and the ring of all bicontinuous functions.
At first let me recall that if There are two topology $\tau_1$and $\tau_2$ on a set $X$, the triple $(X,\tau_1,\tau_2)$ is called a bitopological space.
There are many definitions and properties ...
- 1,788
2
votes
1
answer
220
views
Extending BAs to weakly countably distributive algebras.
Suppose $\mathscr{A}$ is a complete Boolean algebra (assume it is c.c.c. if you wish). Is there any, say, canonical embedding $\mathscr{A}\subseteq \mathscr{B}$ into a complete Boolean algebra which ...
- 55
2
votes
1
answer
510
views
Are the C(S^n, S^n)'s homeomorphic ?
Let m, n > 1. Is it true that C(S^m, S^m), and C(S^n, S^n) are homeomorphic ?
[both endowed with the sup metric (or equivalently the compact-open topology)]
Generally, C(S^n, S^n), with n >= 1, is a ...
- 4,060
4
votes
1
answer
399
views
If a topological space X has $\aleph_1$-calibre, then it must be star countable?
If a topological space X has $\aleph_1$-calibre[definition], then it must be star countable?
What if the cardinality of the topological space X is additionally < = $2^{\aleph_0}$?
- 654
2
votes
1
answer
1k
views
monoid ring and some structure within it - how is it called?
I am amateur - mathematics is my hobby, and I find some strange structure working with toy matrices structure so I try to ask some questions regarding it. Let me allow to introduce some structure ...
- 1,626