All Questions
5,184 questions
6
votes
3
answers
1k
views
functional subrings
I should recall the notion of maximal subring of a commutative unitary ring $R$.
Def: A commutative ring $S$ is called a maximal subring of $R$ if $S \subset R$ and if $T \subset R$ constitute a ...
- 1,788
16
votes
10
answers
6k
views
Undergraduate Topology
I am developing an introductory topology course for undergraduates, and I am wondering what topics to cover. At my institution, real analysis is not a prerequisite for the course, so it is more than ...
4
votes
4
answers
1k
views
countable topological spaces of uncountable weight
I read somewhere the following stament:
There are countable normal $T_1$ spaces of uncountable weight.
Can someone give an example or a reference?
- 41
1
vote
0
answers
264
views
Z-sets in the Hilbert cube
If $(X,d)$ is a metric space, then we say that a closed subset $A$ of $X$ is a z-set if for each number $k\gt 0$ there is a continuous map $f_k$ from $X$ into $X-A$ such that $d(x,f_k(x))\lt k$.
I ...
- 11
1
vote
0
answers
245
views
Sums of Strongly z-ideals
In the rings of continuous functions,i.e.$(C(X))$ an ideal $I$ is called strongly $z$-ideal if it is an intersection of some maximal ideals of $C(X)$. i.e. $$I=\cap_{\alpha \in A} \mathcal{M_{\alpha}}$...
- 1,788
7
votes
4
answers
1k
views
Quotient rings of $C(X)$
Let $X$ be a Tychonoff topological space. Consider the ring $C(X)$ of all continuous real valued functions on $X$. For what conditions on an ideal $I$ of $C(X)$, we could deduce that the quotient ring ...
- 1,788
1
vote
1
answer
148
views
Staggered timing on 2-D random walks by multiple agents
In 2-D lattice random walks by multiple drunks who can't step onto each other, mathematically I would just say the whole cellular automaton updates "at once".
But to simulate this on a computer, I ...
- 507
12
votes
3
answers
1k
views
Topological spaces determined by generalized metric spaces
At http://en.wikibooks.org/wiki/Real_Analysis/Metric_Spaces you can find the standard definition of a metric space: a set $X$ given with a function $d:X\times X\to\mathbb{R}$ that satisfies properties ...
- 295
10
votes
0
answers
744
views
Is the set of real-valued lower semi-continuous functions measurable in epigraph topology (= topology of Gamma convergence)?
Let LSC = LSC([0,1]) be the set of non-negative, lower semi-continuous functions on the unit interval which take values in $\mathbb{R}_+ \cup \{\infty\}$. We use epigraph topology on LSC, i.e. a ...
- 888
4
votes
1
answer
243
views
When is Prim(A) of an infinite discrete group hausdorff ?
Does anyone know, if the following result has been proved ?
Let G be an infinite discrete group. A = L1(G) it's algebra and Prim(A) the set of prime ideals with spectral topology.
The result is :
...
- 41
2
votes
0
answers
192
views
Are open convex PL subsets of R^n PL homeomorphic to R^n?
This is a basic issue of PL topology that I assume must be true, but I can't find a written reference: is a convex open PL subset of $\mathbb R^n$ PL homeomorphic to $\mathbb R^n$? I've scanned ...
- 5,534
5
votes
2
answers
252
views
Adjoining a new isolated point without changing the space
Suppose $X$ is a $T_1$ space with an infinite set of isolated points. Show that if $X^\sharp = X \cup \lbrace \infty \rbrace$ is obtained by adding a single new isolated point, then $X$ and $X^\sharp$ ...
- 1,704
4
votes
1
answer
606
views
Concerning Problem 108 in "Open Problems in Topology"
In the book Open Problems in Topology by Jan Van Mill and George M. Reed, the following problem was presented:
108. Is there a para- Lindelof Dowker space?
Recall that a para-Lindelof Dowker space has ...
user22393
7
votes
1
answer
772
views
Maximal ideals of the rings of Baire-One Functions
A real function $f:X\rightarrow \mathbb{R}$ is called Baire-one function, if there is a sequence $(f_n)_{n=1} ^\infty$ of continuous functions $f_n:X\rightarrow \mathbb{R}$ on $X$ so that for all $x\...
- 1,788
1
vote
0
answers
169
views
Algebraic properties of the semiring of open subsets.
Does anyone know of a useful general topological application of the algebraic properties of the semiring of open subsets of some topological space? Or examples of any such nontrivial properties at all?...
- 3,513
2
votes
1
answer
159
views
Continuity at a point in sequential spaces
Let $X$ be a sequential space, $Y$ be some topological space, and $f:X\mapsto Y$ define some function. If $\forall x_n \to x, n\in\mathbb{N}$ implies $f(x_n) \to f(x)$, then does it follow that $f$ is ...
- 101
0
votes
1
answer
396
views
A Question about SO(n)
My question is:
How to find out all the finite subgroup of SO(n)? Or just for the simple case SO(4) SO(5)?
With more discribe:
If $S^n\backslash \Gamma$ is a manifold,
I just want to know that ...
- 703
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
6
votes
2
answers
477
views
How big $|\operatorname{Aut}(M)|$ can be, given $|\partial\operatorname{Aut}(M)|$?
My apologies: There were a couple of typos in the original question. Hope I got them all.
Let $\kappa$ be an uncountable cardinal of cofinality $\omega$ and $M$ a model of size $\kappa$. We equip $\...
- 2,882
4
votes
1
answer
297
views
Reference for subsemigroups of $\mathbb{N}^n$
A well known result about the natural numbers $\mathbb{N}$ says that for any finite subset $A \subset \mathbb{N}$ there exists $R \ge 0$ such that if $n$ is in the subgroup of $\mathbb{Z}$ generated ...
- 15.4k
12
votes
4
answers
3k
views
compact quotient
Let X be a topological space that is not too bad (let's say "not too bad" = "compactly generated Hausdorff"), and let ∼ be an equivalence relation such that X /∼ is compact Hausdorff.
Does there ...
- 43.2k
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
3
votes
1
answer
239
views
Function spaces over pseudocompact spaces
Let $K$ be a pseudocompact Tychonoff space that is, a Hausdorff $T_{3.5}$ space for which every continuous function $\varphi \colon K\to \mathbb{C}$ is bounded. Let $\beta$ be the Stone-Cech extension ...
- 41
2
votes
1
answer
422
views
Is every zero-dimensional space with no infinite clopen partition pseudocompact?
For this question, we say that a zero-dimensional space $X$ is $\omega$-pseudocompact if every partition of $X$ into clopen sets is finite. In other words, a zero-dimensional space $X$ is $\omega$-...
3
votes
1
answer
243
views
Embedding Semigroups in Rings
Let $S$ be a finite commutative semigroup with identity. Under what conditions (on the semigroup $S$) it is possible to find a ring $R$ such that the multiplicative structure of $R - \{0\}$ is ...
- 801
9
votes
1
answer
471
views
When do sheaves which are constant along the fibers come from the base?
Assume we are given a map $f: X \rightarrow Y$ between topological spaces which is open, surjective and has (pathwise) connected fibers. Consider categories $\text{Sh}(X)$, $\text{Sh}(Y)$ of sheaves (...
- 1,704
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 $...
6
votes
0
answers
618
views
Duality between conjugacy classes and irreducible characters for finite monoids?
Qiaochu's answer to this question suggests that the proper way to view the bijection between conjugacy classes and irreducible complex representations of a finite group is via a duality. My question ...
- 38.6k
2
votes
1
answer
1k
views
Is every connected regular space having more than one point uncountable?
Is every connected regular space having more than one point uncountable?
- 21
7
votes
0
answers
626
views
Does local strict contractibility imply ANR?
Say that a space (= compact metrizable space) $X$ is locally strictly contractible if, for every $p\in X$ and neighborhood $U$ of $p$, there is a neighborhood $V$ of $p$ which can be contracted to $p$ ...
- 2,049
7
votes
1
answer
1k
views
G-equivariant Whitehead's Theorem
Suppose $X$ is a CW complex and $Y$ is a subcomplex. Let $G$ be a compact Lie group that acts on $X$ and $Y$. Suppose further that the CW structures on $X$ and $Y$ are $G$-stable. Moreover assume ...
- 8,529
4
votes
1
answer
4k
views
Weak compactness and weak sequential compactness in Banach spaces
If $E$ is a Banach space, $A$ is a subset of $E$ and is compact with the weak topology $\sigma(E,E')$, that is the most coarse topology which make every $f\in E'$ continuous, is it true that $A$ is ...
3
votes
1
answer
233
views
Continuity of the maxima
Let $f:X\times Y\mapsto R$ be jointly continuous, where $X$ is some topological space, $Y$ is some countably compact topological space. My question is whether or not the envelop $\phi(x) := \max_{y\in ...
- 101
9
votes
1
answer
726
views
Uniform Embedding into Euclidean Space
Given a locally compact, separable, metric space $X$.
When does $X$ uniformly embed into some Euclidean space?
This means, when does there exist some integer $n$ and a closed subset $Y\subset\...
- 3,497
4
votes
2
answers
357
views
Minimal right ideals in finite semigroup
Let $E$ be a finite semigroup. According to N. Bourbaki (Algèbre I p. 121 exerc. 14 c), if $M$ and $M'$ are minimal right ideals in $E$, then they are isomorphic. I spent some time browsing through ...
- 43
1
vote
2
answers
660
views
constructing a curve dividing two sets of points
Lets assume I have two sets of points, each characterized as being "A" or "B", respectively, that are in a Euclidean plane. Theoretically these two sets are samplings from a space that has ...
- 11
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
0
votes
1
answer
277
views
Diffeomorphisms of a surface in terms of generators.
I am interesting in a presentation of a diffeomorphisms in terms of generators. Is it possible to obtain such presentation in some cases, depending on a genus of a surface or a type of diffeomorphism (...
- 192
3
votes
1
answer
297
views
Is the universal inverse semigroup of a commutative semigroup an embedding?
The question of existence of a universal inverse semigroup of an arbitrary semigroup has been answered before (this is a construction similar to the Grothendieck group). Let's refer to the universal ...
- 2,464
6
votes
0
answers
969
views
What relates to measure spaces as topological spaces relate to metric spaces ?
Has there been study of a generalization of measure spaces along the following or similar lines ?
Given a measure space $(X, \Sigma, \mu)$, define for $U\in\Sigma$ a $\mu$-ball of radius $r$ of $U$ ...
- 529
3
votes
1
answer
251
views
In which cases a fiber bundle over a circle is a graph-manifold?
A fiber bundle over a circle $M^{3} \longrightarrow S^{1}$ with fiber a surface $F_{g}$ is characterized via a homeomorphism $\varphi \colon F_{g} \to F_{g}$. It can be one of the following: periodic, ...
- 192
7
votes
3
answers
1k
views
The ring of continuous real-valued functions on a Stone space
Let $X$ be a topological space and consider the ring $C(X,\mathbb{R})$ of continuous real-valued functions on $X$ (where ring-addition and multiplication are defined in the obvious point-wise way).
It ...
- 1,498
4
votes
2
answers
630
views
Is there a uniform Dugundji theorem
A theorem of Dugundji states that if $X$ is a separable metric space and $A \subseteq X$ is closed then any continuous function $f$ from $A$ to some normed linear space $L$ may be extended to a ...
2
votes
2
answers
286
views
Idempotent semigroups: Are they all residually finite?
As pointed out by Mark Sapir in his answer to a related question, every residually finite divisible semigroup is idempotent (hence uniquely divisible). On another hand, it is not difficult to prove ...
- 10.5k
-1
votes
3
answers
523
views
Metric properties for $d:X\times X\times\dotsb X\rightarrow\mathbb R$ [closed]
Let us define $d:X^n\rightarrow\mathbb R$. How can we define metric properties such as symmetry, triangle inequality equivalent property etc for such a function?
- 243
5
votes
1
answer
540
views
Bitopological spaces and algebraic topology
Is it possible to introduce the concept of bitopological spaces such as $(X,T_1,T_2)$ (introduced by J.C.Kelly see Proc. London Math. Soc. (3) 13 (1963) 71–89 MR0143169, J.C. Kelly) in the homotopy ...
- 243
5
votes
4
answers
526
views
Existence of an arbitrary Small positive continuous real Valued Function
Let $(X,\tau)$ be a Tychonoff Topological space.
For each $x\in X$ consider an arbitrary positive real number $\epsilon_x>0$. Is There a continuous real valued function $f:X\rightarrow \mathbb{...
- 1,788
9
votes
2
answers
831
views
How many times line segments can intersect a Jordan curve?
I posted a question on math.stackexchange.com but it seems this question might be open
https://math.stackexchange.com/questions/109752/line-segments-intersecting-jordan-curve
Namely,
is there a set ...
- 193
2
votes
1
answer
360
views
On a property of subsemigroups
Let $H$ denote a subsemigroup of a semigroup $G$.
I'm interested in the following property:
$$\forall g\in G\exists h\in H:gh\in H.$$
This property is weaker than the property that $H$ is an ideal ...
- 21
2
votes
2
answers
772
views
On One point Lindeloffication of topological spaces
As you Know when we define a topological space to be the one point compactification of the topological space $X$, we look for a compact space $Y$ such that $X\subset Y$ and $X$ is dense in $Y$ and $|Y-...
- 1,788