Prove that these three statements are equivalent: (a) For every continuous function $f:S^n \to \mathbb R^n$, there exists an $x\in S^n$ such that $f(x)=f(-x)$. (b) There is no antipodal mapping $f:S^n \to S^{n-1}$. (c) For every covering of $S^n$ with closed sets $A_0,\dots,A_n$, there exists an index $i$ such that $A_i\cap -A_i\neq \emptyset$.

Let $A$ and $B$ be rectangles in the plane and $f : A \rightarrow B$ be a mapping which is uniform on the interior of $A$, maps the boundary of $A$ homeomorphically to the boundary of $B$ by mapping the sides of $A$ to corresponding sides in $B$. Prove that $f$ is an affine transformation.

A cube is made by soldering twelve $ 3$-inch lengths of wire properly at the vertices of the cube. If a fly alights at one of the vertices and then walks along the edges, the greatest distance it could travel before coming to any vertex a second time, without retracing any distance, is: $ \textbf{(A)}\ 24\text{ in.}\qquad \textbf{(B)}\ 12\text{ in.}\qquad \textbf{(C)}\ 30\text{ in.}\qquad \textbf{(D)}\ 18\text{ in.}\qquad \textbf{(E)}\ 36\text{ in.}$

Let $a \neq b a,b \in \mathbb{R}$ such that $(x^2+20ax+10b)(x^2+20bx+10a)=0$ has no roots for $x$. Prove that $20(b-a)$ is not an integer.

Let X be a $\kappa$ weighted compact $T_2$ space. Prove that for every $\omega\leq\lambda<\kappa$, X has a continuous image of a $T_2$ space of weight $\lambda$. (The weight of a space X is the smallest infinite cardinality of a base of X.)

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.$

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?

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$.

Let $(X,d)$ be a metric space and $f:X \to X$ be a function such that $\forall x,y\in X : d(f(x),f(y))=d(x,y)$. $\text{a})$ Prove that for all $x \in X$, $\lim_{n \rightarrow +\infty} \frac{d(x,f^n(x))}{n}$ exists, where $f^n(x)$ is $\underbrace{f(f(\cdots f(x)}_{n \text{times}} \cdots ))$. $\text{b})$ Prove that the amount of the limit does [b][u]not[/u][/b] depend on choosing $x$.

In a non-obtuse triangle $ABC$, prove that \[ \frac{\sin A \sin B}{\sin C} + \frac{\sin B \sin C}{\sin A} + \frac{\sin C \sin A}{ \sin B} \ge \frac 52. \][i]Proposed by Ryan Alweiss[/i]

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 \}$

Let $ M^n \subset \mathbb{R}^{n\plus{}1}$ be a complete, connected hypersurface embedded into the Euclidean space. Show that $ M^n$ as a Riemannian manifold decomposes to a nontrivial global metric direct product if and only if it is a real cylinder, that is, $ M^n$ can be decomposed to a direct product of the form $ M^n\equal{}M^k \times \mathbb{R}^{n\minus{}k} \;(k<n)$ as well, where $ M^k$ is a hypersurface in some $ (k\plus{}1)$-dimensional subspace $ E^{k\plus{}1} \subset \mathbb{R}^{n\plus{}1} , \mathbb{R}^{n\minus{}k}$ is the orthogonal complement of $ E^{k\plus{}1}$. [i]Z. Szabo[/i]

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.

Is it true that on any surface homeomorphic to an open disc there exist two congruent curves homeomorphic to a circle?

Let X be a dense set homeomorphic to $\mathbb R^n$ in the compact Hausdorff space Y. Prove that for $n\geq 2$ , $Y \setminus X$ is connected, and for n=1 it consists of at most two components.

X is a compact T2 space such that every subspace of cardinality $\aleph_1$ is first countable. Prove that X is first countable.

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.\]

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}$ ?

Let $ \mathcal{T}_1$ and $ \mathcal{T}_2$ be second-countable topologies on the set $ E$. We would like to find a real function $ \sigma$ defined on $ E \times E$ such that \[ 0 \leq \sigma(x,y) <\plus{}\infty, \;\sigma(x,x)\equal{}0 \ ,\] \[ \sigma(x,z) \leq \sigma(x,y)\plus{}\sigma(y,z) \;(x,y,z \in E) \ ,\] and, for any $ p \in E$, the sets \[ V_1(p,\varepsilon)\equal{}\{ x : \;\sigma(x,p)< \varepsilon \ \} \;(\varepsilon >0) \] form a neighborhood base of $ p$ with respect to $ \mathcal{T}_1$, and the sets \[ V_2(p,\varepsilon)\equal{}\{ x : \;\sigma(p,x)< \varepsilon \ \} \;(\varepsilon >0) \] form a neighborhood base of $ p$ with respect to $ \mathcal{T}_2$. Prove that such a function $ \sigma$ exists if and only if, for any $ p \in E$ and $ \mathcal{T}_i$-open set $ G \ni p \;(i\equal{}1,2) $, there exist a $ \mathcal{T}_i$-open set $ G'$ and a $ \mathcal{T}_{3\minus{}i}$-closed set $ F$ with $ p \in G' \subset F \subset G.$ [i]A. Csaszar[/i]

We say that the real-valued function $ f(x)$ defined on the interval $ (0,1)$ is approximately continuous on $ (0,1)$ if for any $ x_0 \in (0,1)$ and $ \varepsilon >0$ the point $ x_0$ is a point of interior density $ 1$ of the set \[ H\equal{} \{x : \;|f(x)\minus{}f(x_0)|< \varepsilon \ \}.\] Let $ F \subset (0,1)$ be a countable closed set, and $ g(x)$ a real-valued function defined on $ F$. Prove the existence of an approximately continuous function $ f(x)$ defined on $ (0,1)$ such that \[ f(x)\equal{}g(x) \;\textrm{for all}\ \;x \in F\ .\] [i]M. Laczkovich, Gy. Petruska[/i]

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$.

Prove that in a topological space X , if all discrete subspaces have compact closure , then X is compact.

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]

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.

Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be a continuous function with the following property: for all $\alpha \in \mathbb{R}_{>0}$, the sequence $(a_n)_{n \in \mathbb{N}}$ defined as $a_n = f(n\alpha)$ satisfies $\lim_{n \to \infty} a_n = 0$. Is it necessarily true that $\lim_{x \to +\infty} f(x) = 0$?