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

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]

2013 CIIM, Problem 6

Tags: topology
Let $(X,d)$ be a metric space with $d:X\times X \to \mathbb{R}_{\geq 0}$. Suppose that $X$ is connected and compact. Prove that there exists an $\alpha \in \mathbb{R}_{\geq 0}$ with the following property: for any integer $n > 0$ and any $x_1,\dots,x_n \in X$, there exists $x\in X$ such that the average of the distances from $x_1,\dots,x_n$ to $x$ is $\alpha$ i.e. $$\frac{d(x,x_1)+d(x,x_2)+\cdots+d(x,x_n)}{n} = \alpha.$$

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]

1986 Miklós Schweitzer, 6

Tags: vector , topology
Let $U$ denote the set $\{ f\in C[0, 1] \colon |f(x)|\leq 1\, \mathrm{for}\,\mathrm{all}\, x\in [0, 1]\}$. Prove that there is no topology on $C[0, 1]$ that, together with the linear structure of $C[0,1]$, makes $C[0,1]$ into a topological vector space in which the set $U$ is compact. (Assume that topological vector spaces are Hausdorff) [V. Totik]

1957 Miklós Schweitzer, 3

[b]3.[/b] Let $A$ be a subset of n-dimensional space containing at least one inner point and suppose that, for every point pair $x, y \in A$, the subset $A$ contains the mid point of the line segment beteween $x$ and $y$. Show that $A$ consists of a convex open set and of some of its boundary points. [b](St. 1)[/b]

1980 Miklós Schweitzer, 10

Tags: topology
Suppose that the $ T_3$-space $ X$ has no isolated points and that in $ X$ any family of pairwise disjoint, nonempty, open sets is countable. Prove that $ X$ can be covered by at most continuum many nowhere-dense sets. [i]I. Juhasz[/i]

1976 Miklós Schweitzer, 10

Tags: topology , function
Suppose that $ \tau$ is a metrizable topology on a set $ X$ of cardinality less than or equal to continuum. Prove that there exists a separable and metrizable topology on $ X$ that is coarser that $ \tau$. [i]L. Juhasz[/i]

PEN E Problems, 12

Show that there are infinitely many primes.

2010 All-Russian Olympiad, 1

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.

2002 SNSB Admission, 3

Classify up to homeomorphism the topological spaces of the support of functions that are real quadratic polynoms of three variables and and irreducible over the set of real numbers.

2012 Graduate School Of Mathematical Sciences, The Master Course, Kyoto University, 4

Define mapping $F : \mathbb{R}^4\rightarrow \mathbb{R}^4$ as $F(x,\ y,\ z,\ w)=(xy,\ y,\ z,\ w)$ and let mapping $f : S^3\rightarrow \mathbb{R}^4$ be restriction of $F$ to 3 dimensional ball $S^3=\{(x,\ y,\ z,\ w)\in{\mathbb{R}^4} | x^2+y^2+z^2+w^2=1\}$. Find the rank of $df_p$, or the differentiation of $f$ at every point $p$ in $S^3$.

2006 Pre-Preparation Course Examination, 1

Suppose that $X$ is a compact metric space and $T: X\rightarrow X$ is a continous function. Prove that $T$ has a returning point. It means there is a strictly increasing sequence $n_i$ such that $\lim_{k\rightarrow \infty} T^{n_k}(x_0)=x_0$ for some $x_0$.

1994 Miklós Schweitzer, 9

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

2000 Tuymaada Olympiad, 1

Can the plane be coloured in 2000 colours so that any nondegenerate circle contains points of all 2000 colors?

MIPT Undergraduate Contest 2019, 1.4

Suppose that in a unit sphere in Euclidean space, there are $2m$ points $x_1, x_2, ..., x_{2m}.$ Prove that it's possible to partition them into two sets of $m$ points in such a way that the centers of mass of these sets are at a distance of at most $\frac{2}{\sqrt{m}}$ from one another.

1962 Miklós Schweitzer, 3

Let $ A$ and $ B$ be two Abelian groups, and define the sum of two homomorphisms $ \eta$ and $ \chi$ from $ A$ to $ B$ by \[ a( \eta\plus{}\chi)\equal{}a\eta\plus{}a\chi \;\textrm{for all}\ \;a \in A\ .\] With this addition, the set of homomorphisms from $ A$ to $ B$ forms an Abelian group $ H$. Suppose now that $ A$ is a $ p$-group ( $ p$ a prime number). Prove that in this case $ H$ becomes a topological group under the topology defined by taking the subgroups $ p^kH \;(k\equal{}1,2,...)$ as a neighborhood base of $ 0$. Prove that $ H$ is complete in this topology and that every connected component of $ H$ consists of a single element. When is $ H$ compact in this topology? [L. Fuchs]

2011 IMC, 1

Let $f:\mathbb{R} \to \mathbb{R}$ be a continuous function. A point $x$ is called a [i]shadow[/i] point if there exists a point $y\in \mathbb{R}$ with $y>x$ such that $f(y)>f(x).$ Let $a<b$ be real numbers and suppose that $\bullet$ all the points of the open interval $I=(a,b)$ are shadow points; $\bullet$ $a$ and $b$ are not shadow points. Prove that a) $f(x)\leq f(b)$ for all $a<x<b;$ b) $f(a)=f(b).$ [i]Proposed by José Luis Díaz-Barrero, Barcelona[/i]

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

1964 Miklós Schweitzer, 5

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

2010 Paenza, 4

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

2001 SNSB Admission, 5

Find the fundamental group of the topology of $ \text{SL}_2\left(\mathbb{R}\right) $ on $ \mathbb{R}^4. $

2011 Pre-Preparation Course Examination, 3

Tags: topology
[b]a)[/b] show that every curve $f:I \longrightarrow S^2$ is homotop with a path with another curve in $S^2$ like $g$ such that Image of $g$, doesn't contain all of $S^2$. [b]b)[/b] conclude that $S^2$ is simple connected. [b]c)[/b] construct a topological space such that it's fundamental group is $\mathbb Z_2$.

2011 Iran MO (3rd Round), 1

(a) We say that a hyperplane $H$ that is given with this equation \[H=\{(x_1,\dots,x_n)\in \mathbb R^n \mid a_1x_1+ \dots +a_nx_n=b\}\] ($a=(a_1,\dots,a_n)\in \mathbb R^n$ and $b\in \mathbb R$ constant) bisects the finite set $A\subseteq \mathbb R^n$ if each of the two halfspaces $H^+=\{(x_1,\dots,x_n)\in \mathbb R^n \mid a_1x_1+ \dots +a_nx_n>b\}$ and $H^-=\{(x_1,\dots,x_n)\in \mathbb R^n \mid a_1x_1+ \dots +a_nx_n<b\}$ have at most $\lfloor \tfrac{|A|}{2}\rfloor$ points of $A$. Suppose that $A_1,\dots,A_n$ are finite subsets of $\mathbb R^n$. Prove that there exists a hyperplane $H$ in $\mathbb R^n$ that bisects all of them at the same time. (b) Suppose that the points in $B=A_1\cup \dots \cup A_n$ are in general position. Prove that there exists a hyperplane $H$ such that $H^+\cap A_i$ and $H^-\cap A_i$ contain exactly $\lfloor \tfrac{|A_i|}{2}\rfloor$ points of $A_i$. (c) With the help of part (b), show that the following theorem is true: Two robbers want to divide an open necklace that has $d$ different kinds of stones, where the number of stones of each kind is even, such that each of the robbers receive the same number of stones of each kind. Show that the two robbers can accomplish this by cutting the necklace in at most $d$ places.

2006 IMS, 4

Assume that $X$ is a seperable metric space. Prove that if $f: X\longrightarrow\mathbb R$ is a function that $\lim_{x\rightarrow a}f(x)$ exists for each $a\in\mathbb R$. Prove that set of points in which $f$ is not continuous is countable.

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]