Found problems: 126
2007 Pre-Preparation Course Examination, 1
a) There is an infinite sequence of $0,1$, like $\dots,a_{-1},a_{0},a_{1},\dots$ (i.e. an element of $\{0,1\}^{\mathbb Z}$). At each step we make a new sequence. There is a function $f$ such that for each $i$, $\mbox{new }a_{i}=f(a_{i-100},a_{i-99},\dots,a_{i+100})$. This operation is mapping $F: \{0,1\}^{\mathbb Z}\longrightarrow\{0,1\}^{\mathbb Z}$. Prove that if $F$ is 1-1, then it is surjective.
b) Is the statement correct if we have an $f_{i}$ for each $i$?
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.$
2006 Miklós Schweitzer, 9
Does the circle T = R / Z have a self-homeomorphism $\phi$ that is singular (that is, its derivative is almost everywhere 0), but the mapping $f:T \to T$ , $f(x) = \phi^{-1} (2\phi(x))$ is absolutely continuous?
1992 Miklós Schweitzer, 7
Prove that in a topological space X , if all discrete subspaces have compact closure , then X is compact.
2007 IMS, 8
Let \[T=\{(tq,1-t) \in\mathbb R^{2}| t \in [0,1],q\in\mathbb Q\}\]Prove that each continuous function $f: T\longrightarrow T$ has a fixed point.
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]
2000 Romania Team Selection Test, 3
Let $S$ be the set of interior points of a sphere and $C$ be the set of interior points of a circle. Find, with proof, whether there exists a function $f:S\rightarrow C$ such that $d(A,B)\le d(f(A),f(B))$ for any two points $A,B\in S$ where $d(X,Y)$ denotes the distance between the points $X$ and $Y$.
[i]Marius Cavachi[/i]
2014 IMS, 2
Let $(X,d)$ be a nonempty connected metric space such that the limit of every convergent sequence, is a term of that sequence. Prove that $X$ has exactly one element.
2005 Iran MO (3rd Round), 6
Suppose $A\subseteq \mathbb R^m$ is closed and non-empty. Let $f:A\to A$ is a lipchitz function with constant less than 1. (ie there exist $c<1$ that $|f(x)-f(y)|<c|x-y|,\ \forall x,y \in A)$. Prove that there exists a unique point $x\in A$ such that $f(x)=x$.
1982 IMO Longlists, 22
Let $M$ be the set of real numbers of the form $\frac{m+n}{\sqrt{m^2+n^2}}$, where $m$ and $n$ are positive integers. Prove that for every pair $x \in M, y \in M$ with $x < y$, there exists an element $z \in M$ such that $x < z < y.$
2014 Contests, 2
Let $(X,d)$ be a nonempty connected metric space such that the limit of every convergent sequence, is a term of that sequence. Prove that $X$ has exactly one element.
2011 Miklós Schweitzer, 1
Let $F_1, F_2, ...$ be Borel-measurable sets on the plane whose union is the whole plane. Prove that there is a natural number n and circle S for which the set $S \cap F_n$ is dense in S. Also show that the statement is not necessarily true if we omit the condition for the measurability of sets $F_j$.
2018 Brazil Undergrad MO, 25
Consider the $ \mathbb {Z} / (10) $ additive group automorphism group of integers module $10$, that is,
$ A = \left \{\phi: \mathbb {Z} / (10) \to \mathbb {Z} / (10) | \phi-automorphism \right \}$
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.
1999 Miklós Schweitzer, 10
Let $M = F_1\times\cdots\times F_k$ be the product of $k$ smooth, closed surfaces (2-dimensional, $C^\infty$, compact, connected, manifold without boundary), $s$ of which are non-orientable. Prove that $M$ can be embedded in $\mathbb{R}^{2k+s+1}$.
1992 Miklós Schweitzer, 8
Let $F$ be a set of filters on X so that if $ \sigma, \tau \in F$ , $\forall S \in\sigma$ , $\forall T\in\tau$ , we have $S \cap T\neq\emptyset$ , then $\sigma \cap \tau \in F$. We say that $F$ is compatible with a topology on X when $x \in X$ is a contact point of $A\subset X$ , if and only if , there is $\sigma \in F$ such that $x \in S$ and $S \cap A \neq\emptyset$ for all $S \in\sigma$ .
When is there an $F$ compatible with the topology on X in which finite subsets of X and X are closed ?
contact point is also known as adherent point.
2018 Miklós Schweitzer, 11
We call an $m$-dimensional smooth manifold [i]parallelizable[/i] if it admits $m$ smooth tangent vector fields that are linearly independent at all points. Show that if $M$ is a closed orientable $2n$-dimensional smooth manifold of Euler characteristic $0$ that has an immersion into a parallelizable smooth $(2n+1)$-dimensional manifold $N$, then $M$ is itself parallelizable.
2021 Alibaba Global Math Competition, 13
Let $M_n=\{(u,v) \in S^n \times S^n: u \cdot v=0\}$, where $n \ge 2$, and $u \cdot v$ is the Euclidean inner product of $u$ and $v$. Suppose that the topology of $M_n$ is induces from $S^n \times S^n$.
(1) Prove that $M_n$ is a connected regular submanifold of $S^n \times S^n$.
(2) $M_n$ is Lie Group if and only if $n=2$.
MIPT Undergraduate Contest 2019, 1.1 & 2.1
In $\mathbb{R}^3$, let there be a cube $Q$ and a sequence of other cubes, all of which are homothetic to $Q$ with coefficients of homothety that are each smaller than $1$. Prove that if this sequence of homothetic cubes completely fills $Q$, the sum of their coefficients of homothety is not less than $4$.
1997 Miklós Schweitzer, 9
Let ( M , g ) be a Riemannian manifold. Extend the metric tensor g to the set of tangents TM with the following specification: if $a,b\in T_v TM \, (v\in T_p M)$, then $$\tilde g_v (a, b): = g_p (\dot {\alpha} (0), \dot {\beta} (0) ) + g_p (D _ {\alpha} X(0) , D_{\beta} Y(0) )$$ where $\alpha, \beta$ are curves in M such that $\alpha(0) = \beta(0) = p$. X and Y are vector fields along $\alpha,\beta$ respectively, with the condition $\dot X (0) = a,\dot Y(0) = b$. $D _{\alpha}$ and $D _{\beta}$ are the operators of the covariant derivative along the corresponding curves according to the Levi-Civita connection. Is the eigenfunction from the Riemannian manifold (M,g) to the Riemannian manifold $(TM, \tilde g)$ harmonic?
2000 Miklós Schweitzer, 7
Let $H(D)$ denote the space of functions holomorphic on the disc $D=\{ z\colon |z|<1 \}$, endowed with the topology of uniform convergence on each compact subset of $D$. If $f(z)=\sum_{n=0}^{\infty} a_nz^n$, then we shall denote $S_n(f,z)=\sum_{k=0}^n a_kz^k$. A function $f\in H(D)$ is called [i]universal[/i] if, for every continuous function $g\colon\partial D\rightarrow \mathbb{C}$ and for every $\varepsilon >0$, there are partial sums $S_{n(j)}(f,z)$ approximating $g$ uniformly on the arc $\{ e^{it} \colon 0\le t\le 2\pi - \varepsilon\}$. Prove that the set of universal functions contains a dense $G_{\delta}$ subset of $H(D)$.
2000 Miklós Schweitzer, 9
Let $M$ be a closed, orientable $3$-dimensional differentiable manifold, and let $G$ be a finite group of orientation preserving diffeomorphisms of $M$. Let $P$ and $Q$ denote the set of those points of $M$ whose stabilizer is nontrivial (that is, contains a nonidentity element of $G$) and noncyclic, respectively. Let $\chi (P)$ denote the Euler characteristic of $P$. Prove that the order of $G$ divides $\chi (P)$, and $Q$ is the union of $-2\frac{\chi(P)}{|G|}$ orbits of $G$.
2021 Alibaba Global Math Competition, 12
Let $A=(a_{ij})$ be a $5 \times 5$ matrix with $a_{ij}=\min\{i,j\}$. Suppose $f:\mathbb{R}^5 \to \mathbb{R}^5$ is a smooth map such that $f(\Sigma) \subset \Sigma$, where $\Sigma=\{x \in \mathbb{R}^5: xAx^T=1\}$. Denote by $f^{(n)}$ te $n$-th iterate of $f$. Prove that there does not exist $N \ge 1$ such that
\[\inf_{x \in \Sigma} \| f^{(n)}(x)-x\|>0, \forall n \ge N.\]
1996 Miklós Schweitzer, 8
Prove that a simply connected, closed manifold (i.e., compact, no boundary) cannot contain a closed, smooth submanifold of codimension 1, with odd Euler characteristic.
2014 Miklós Schweitzer, 7
Let $f : \mathbb{R} \to \mathbb{R}$ be a continuous function and let $g : \mathbb{R} \to \mathbb{R}$ be arbitrary. Suppose that the Minkowski sum of the graph of $f$ and the graph of $g$ (i.e., the set $\{( x+y; f(x)+g(y) ) \mid x, y \in \mathbb{R}\}$) has Lebesgue measure zero. Does it follow then that the function $f$ is of the form $f(x) = ax + b$ with suitable constants $a, b \in \mathbb{R}$ ?