Found problems: 126
1981 Miklós Schweitzer, 3
Construct an uncountable Hausdorff space in which the complement of the closure of any nonempty, open set is countable.
[i]A. Hajnal, I. Juhasz[/i]
1964 Miklós Schweitzer, 8
Let $ F$ be a closed set in the $ n$-dimensional Euclidean space. Construct a function that is $ 0$ on $ F$, positive outside $ F$ , and whose partial derivatives all exist.
2002 Miklós Schweitzer, 9
Let $M$ be a connected, compact $C^{\infty}$-differentiable manifold, and denote the vector space of smooth real functions on $M$ by $C^{\infty}(M)$. Let the subspace $V\le C^{\infty}(M)$ be invariant under $C^{\infty}$-diffeomorphisms of $M$, that is, let $f\circ h\in V$ for every $f\in V$ and for every $C^{\infty}$-diffeomorphism $h\colon M\rightarrow M$. Prove that if $V$ is different from the subspaces $\{ 0\}$ and $C^{\infty}(M)$ then $V$ only contains the constant functions.
2003 SNSB Admission, 4
Prove that the sets
$$ \{ \left( x_1,x_2,x_3,x_4 \right)\in\mathbb{R}^4|x_1^2+x_2^2+x_3^2=x_4^2 \} , $$
$$ \{ \left( x_1,x_2,x_3,x_4 \right)\in\mathbb{R}^4|x_1^2+x_2^2=x_3^2+x_4^2 \}, $$
are not homeomorphic on the Euclidean topology induced on them.
MIPT student olimpiad spring 2023, 4
Is it true that if two linear subspaces $V$ and $W$ of a Hilbert space are closed, then their sum $V+W$ is also closed?
2024 Miklos Schweitzer, 2
Does there exist a nowhere dense, nonempty compact set $C \subset [0,1]$ such that
\[
\liminf_{h \to 0^+} \frac{\lambda(C \cap (x, x+h))}{h} > 0 \quad \text{or} \quad \liminf_{h \to 0^+} \frac{\lambda(C \cap (x-h, x))}{h} > 0
\]
holds for every point $x \in C$, where $\lambda(A)$ denotes the Lebesgue measure of $A$?
2005 Alexandru Myller, 3
Let $f:[0,\infty)\to\mathbb R$ be a continuous function s.t. $\lim_{x\to\infty}\frac {f(x)}x=0$. Let $(x_n)_n$ be a sequence of positive real numbers s.t. $\left(\frac{x_n}n\right)_n$ is bounded. Prove that $\lim_{n\to\infty}\frac{f(x_n)}n=0$.
[i]Dorin Andrica, Eugen Paltanea[/i]
1982 Miklós Schweitzer, 9
Suppose that $ K$ is a compact Hausdorff space and $ K\equal{} \cup_{n\equal{}0}^{\infty}A_n$, where $ A_n$ is metrizable and $ A_n \subset A_m$ for $ n<m$. Prove that $ K$ is metrizable.
[i]Z. Balogh[/i]
2011 Pre-Preparation Course Examination, 2
prove that $\pi_1 (X,x_0)$ is not abelian. $X$ is like an eight $(8)$ figure.
[b]comments:[/b] eight figure is the union of two circles that have one point $x_0$ in common.
we call a group $G$ abelian if: $\forall a,b \in G:ab=ba$.
1961 Putnam, A7
Let $S$ be a nonempty closed set in the euclidean plane for which there is a closed disk $D$ containing $S$ such that $D$ is a subset of every closed disk that contains $S$. Prove that every point inside $D$ is the midpoint of a segment joining two points of $S.$
1971 Miklós Schweitzer, 1
Let $ G$ be an infinite compact topological group with a Hausdorff topology. Prove that $ G$ contains an element $ g \not\equal{} 1$ such that the set of all powers of $ g$ is either everywhere dense in $ G$ or nowhere dense in $ G$.
[i]J. Erdos[/i]
KoMaL A Problems 2022/2023, A.836
For every \(i \in \mathbb{N}\) let \(A_i\), \(B_i\) and \(C_i\) be three finite and pairwise disjoint subsets of \(\mathbb{N}\). Suppose that for every pairwise disjoint sets \(A\), \(B\) and \( C\) with union \(\mathbb N\) there exists \(i\in \mathbb{N}\) such that \(A_i \subset A\), \(B_i \subset B\) and \(C_i \subset C\). Prove that there also exists a finite \(S\subset \mathbb{N}\) such that for every pairwise disjoint sets \(A\), \(B\) and \(C\) with union $\mathbb N$ there exists \(i\in S\) such that \(A_i \subset A\), \(B_i \subset B\) and \(C_i \subset C\).
[i]Submitted by András Imolay, Budapest[/i]
2019 Miklós Schweitzer, 1
Prove that if every subspace of a Hausdorff space $X$ is $\sigma$-compact, then $X$ is countable.
2004 Miklós Schweitzer, 1
The Lindelöf number $L(X)$ of a topological space $X$ is the least infinite cardinal $\lambda$ with the property that every open covering of $X$ has a subcovering of cardinality at most $\lambda$. Prove that if evert non-countably infinite subset of a first countable space $X$ has a point of condensation, then $L(X)=\sup L(A)$, where $A$ runs over the separable closed subspaces of $X$.
(A point of condensation of a subset $H\subseteq X$ is a point $x\in X$ such that any neighbourhood of $x$ intersects $H$ in a non-countably infinite set.)
2010 Miklós Schweitzer, 8
Let $ D \subset \mathbb {R} ^ {2} $ be a finite Lebesgue measure of a connected open set and $ u: D \rightarrow \mathbb {R} $ a harmonic function. Show that it is either a constant $ u $ or for almost every $ p \in D $
$$
f ^ {\prime} (t) = (\operatorname {grad} u) (f (t)), \quad f (0) = p
$$has no initial value problem(differentiable everywhere) solution to $ f:[0,\infty) \rightarrow D $.
1994 Miklós Schweitzer, 8
Prove that a Hausdorff space X is countably compact iff for every open cover $\cal {U}$ there is a finite set $A \subset X$ such that $ \bigcup \{U \in {\cal U} : U \cap A \neq \emptyset \} = X$.
2022 Miklós Schweitzer, 5
Is it possible to select a non-degenerate segment from each line of the plane such that any two selected segments are disjoint?
2023 Miklós Schweitzer, 2
Let $G_0, G_1,\ldots$ be infinite open subsets of a Hausdorff space. Prove that there exist some infinite pairwise disjoint open sets $V_0,V_1,\ldots$ and some indices $n_0<n_1<\cdots$ such that $V_i\subseteq G_{n_i}$ for every $i\geqslant 0.$
2004 Miklós Schweitzer, 6
Is is true that if the perfect set $F\subseteq [0,1]$ is of zero Lebesgue measure then those functions in $C^1[0,1]$ which are one-to-one on $F$ form a dense subset of $C^1[0,1]$?
(We use the metric
$$d(f,g)=\sup_{x\in[0,1]} |f(x)-g(x)| + \sup_{x\in[0,1]} |f'(x)-g'(x)|$$
to define the topology in the space $C^1[0,1]$ of continuously differentiable real functions on $[0,1]$.)
2008 Miklós Schweitzer, 8
Let $S$ be the Sierpiński triangle. What can we say about the Hausdorff dimension of the elevation sets $f^{-1}(y)$ for typical continuous real functions defined on $S$? (A property is satisfied for typical continuous real functions on $S$ if the set of functions not having this property is of the first Baire category in the metric space of continuous $S\rightarrow\mathbb{R}$ functions with the supremum norm.)
(translated by Miklós Maróti)
1959 Miklós Schweitzer, 2
[b]2.[/b] Omit the vertices of a closed rectangle; the configuration obtained in such a way will be called a reduced rectangle. Prove tha the set-union of any system of reduced rectangles with parallel sides is equal to the union of countably many elements of the system. [b](St. 3)[/b]
2005 VJIMC, Problem 1
Let $S_0=\{z\in\mathbb C:|z|=1,z\ne-1\}$ and $f(z)=\frac{\operatorname{Im}z}{1+\operatorname{Re}z}$. Prove that $f$ is a bijection between $S_0$ and $\mathbb R$. Find $f^{-1}$.
2009 Miklós Schweitzer, 7
Let $ H$ be an arbitrary subgroup of the diffeomorphism group $ \mathsf{Diff}^\infty(M)$ of a differentiable manifold $ M$. We say that an $ \mathcal C^\infty$-vector field $ X$ is [i]weakly tangent[/i] to the group $ H$, if there exists a positive integer $ k$ and a $ \mathcal C^\infty$-differentiable map $ \varphi \mathrel{: } \mathord{]} \minus{} \varepsilon,\varepsilon\mathord{[}^k\times M\to M$ such that
(i) for fixed $ t_1,\dots,t_k$ the map
\[ \varphi_{t_1,\dots,t_k} : x\in M\mapsto \varphi(t_1,\dots,t_k,x)\]
is a diffeomorphism of $ M$, and $ \varphi_{t_1,\dots,t_k}\in H$;
(ii) $ \varphi_{t_1,\dots,t_k}\in H \equal{} \mathsf{Id}$ whenever $ t_j \equal{} 0$ for some $ 1\leq j\leq k$;
(iii) for any $ \mathcal C^\infty$-function $ f: M\to \mathbb R$
\[ X f \equal{} \left.\frac {\partial^k(f\circ\varphi_{t_1,\dots,t_k})}{\partial t_1\dots\partial t_k}\right|_{(t_1,\dots,t_k) \equal{} (0,\dots,0)}.\]
Prove, that the commutators of $ \mathcal C^\infty$-vector fields that are weakly tangent to $ H\subset \textsf{Diff}^\infty(M)$ are also weakly tangent to $ H$.
2009 IMS, 3
Let $ A\subset \mathbb C$ be a closed and countable set. Prove that if the analytic function $ f: \mathbb C\backslash A\longrightarrow \mathbb C$ is bounded, then $ f$ is constant.
2003 IMC, 3
Let $A$ be a closed subset of $\mathbb{R}^{n}$ and let $B$ be the set of all those points $b \in \mathbb{R}^{n}$ for which there exists exactly one point $a_{0}\in A $ such that $|a_{0}-b|= \inf_{a\in A}|a-b|$.
Prove that $B$ is dense in $\mathbb{R}^{n}$; that is, the closure of $B$ is $\mathbb{R}^{n}$