Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
1 answer
252 views

Does every (Abelian) Polish group have a nontrivial locally compact subgroup?

The question is pretty much in the title, suppose that $G$ is an (Abelian) nontrivial Polish group, must $G$ have a nontrivial locally compact (in the induced topology, hence necessarily closed) ...
Alessandro Codenotti's user avatar
10 votes
0 answers
272 views

What is the smallest $\sigma$-algebra of reals that is closed under addition of sets?

What is the smallest $\sigma$-algebra $\Sigma\subseteq\mathcal P(\Bbb R)$ containing the open sets and such that if $A,B\in\Sigma$, then $$A+B=\{a+b\mid a\in A,b\in B\}\in\Sigma?$$ I know that neither ...
Alessandro Codenotti's user avatar
5 votes
1 answer
247 views

How complex is the orbit equivalence relation of $\mathrm{Iso}_0(X)\curvearrowright S_X$ for $X=L^p([0,1])$?

For a Banach space $X$ let $S_X$ denote its unit sphere and let $\mathrm{Iso}_0(X)$ denote the group of rotations of $X$, that is isometries fixing the origin. There is a natural continuous action $\...
Alessandro Codenotti's user avatar
1 vote
1 answer
261 views

CH and the density topology on $\mathbb{R}$

In the article AN EXAMPLE INVOLVING BAIRE SPACES (https://www.ams.org/journals/proc/1975-048-01/S0002-9939-1975-0362249-1/S0002-9939-1975-0362249-1.pdf) of H. E. White Jr. it is shown that, assuming ...
Gabriel Medina's user avatar
4 votes
2 answers
634 views

Question about additive subgroups of the real line and the density topology

I am new studying additive subgroups of the real line, I would like to know if someone could give me an idea for the next question. Let $m$ be the Lebesgue measure in $\mathbb{R}$. A measurable set $E\...
Gabriel Medina's user avatar
12 votes
0 answers
172 views

A connected Borel subgroup of the plane

It is known that the complex plane $\mathbb C$ contain dense connected (additive) subgroups with dense complement but each dense path-connected subgroup of $\mathbb C$ necessarily coincides with $\...
Taras Banakh's user avatar
  • 41.9k
2 votes
0 answers
102 views

Is this concrete set generically Haar-null?

This question is related to this problem on MO about generically Haar-null sets in locally compact Polish groups but is more concrete. First we recall the definition of a generically Haar-null set in ...
Taras Banakh's user avatar
  • 41.9k
5 votes
0 answers
214 views

On generically Haar-null sets in the real line

First some definitions. For a Polish space $X$ by $P(X)$ we denote the space of all $\sigma$-additive Borel probability measures on $X$. The space $P(X)$ carries a Polish topology generated by the ...
Taras Banakh's user avatar
  • 41.9k
3 votes
0 answers
143 views

Is an Abelian topological group compact if it is complete and Bohr-compact?

A topological group $G$ will be called Bohr-compact if its Bohr topology (i.e., the largest precompact group topology) is compact and Hausdorff. A topological group $G$ is Bohr-compact if it admits ...
Taras Banakh's user avatar
  • 41.9k
12 votes
0 answers
373 views

Does each compact topological group admit a discontinuous homomorphism to a Polish group?

A compact topological group $G$ is called Van der Waerden if each homomorphism $h:G\to K$ to a compact topological group is continuous. By a classical result of Van der Waerden (1933) the groups $SO(...
Taras Banakh's user avatar
  • 41.9k
4 votes
1 answer
348 views

Is there a topologizable group admitting only Raikov-complete group topologies?

Definition. A group $G$ is called complete (resp. non-topologizable) if each Hausdorff group topology on $G$ is Raikov-complete (resp. discrete). It is clear that each non-topologizable group is ...
Taras Banakh's user avatar
  • 41.9k
9 votes
1 answer
401 views

Meager subgroups of compact groups

Suppose we have an infinite compact (Hausdorff) group $G$, and a subgroup $H\leq G$ which is meagre. Can $H$ always be covered by a countable family of nowhere dense sets $H_n$ such that $H_n^2$ is ...
tomasz's user avatar
  • 1,338