This website contains problems from math contests. Problems and corresponding tags were obtained from the Art of Problem Solving website.

Tags were heavily modified to better represent problems.

AND:
OR:
NO:

Found problems: 126

1981 Miklós Schweitzer, 3

Tags: topology
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

Tags: topology , subset
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

Tags: topology
Prove that if every subspace of a Hausdorff space $X$ is $\sigma$-compact, then $X$ is countable.

2004 Miklós Schweitzer, 1

Tags: topology
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

Tags: topology
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

Tags: topology , function
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}$