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.

[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]

Let $M$ be a compact orientable $2n$-manifold with boundary, where $n \ge 2$. Suppose that $H_0(M;\mathbb{Q}) \cong \mathbb{Q}$ and $H_i(M;\mathbb{Q})=0$ for $i>0$. Prove that the order of $H_{n-1}(\partial M; \mathbb{Z})$ is a square number.

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]

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.

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]

Let $K$ be a closed subset of the closed unit ball in $\mathbb{R}^3$. Suppose there exists a family of chords $\Omega$ of the unit sphere $S^2$, with the following property: for every $X,Y\in S^2$, there exist $X',Y'\in S^2$, as close to $X$ and $Y$ correspondingly, as we want, such that $X'Y'\in \Omega$ and $X'Y'$ is disjoint from $K$. Verify that there exists a set $H\subset S^2$, such that $H$ is dense in the unit sphere $S^2$, and the chords connecting any two points of $H$ are disjoint from $K$. EDIT: The statement fixed. See post #4

Construct a function $ f:\mathbb{R}\longrightarrow\mathbb{R} $ having the following properties: $ \text{(i)} f $ is not monotonic on any real interval. $ \text{(ii)} f $ has Darboux property (intermediate value property) on any real interval. $ \text{(iii)} f(x)\leqslant f\left( x+1/n \right) ,\quad \forall x\in\mathbb{R} ,\quad \forall n\in\mathbb{N} $ [i]Alexandru Cioba[/i]

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?

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.

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.

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

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

We define a relation between subsets of $\mathbb R ^n$. $A \sim B\Longleftrightarrow$ we can partition $A,B$ in sets $A_1,\dots,A_n$ and $B_1,\dots,B_n$(i.e $\displaystyle A=\bigcup_{i=1} ^n A_i,\ B=\bigcup_{i=1} ^n B_i, A_i\cap A_j=\emptyset,\ B_i\cap B_j=\emptyset$) and $A_i\simeq B_i$. Say the the following sets have the relation $\sim$ or not ? a) Natural numbers and composite numbers. b) Rational numbers and rational numbers with finite digits in base 10. c) $\{x\in\mathbb Q|x<\sqrt 2\}$ and $\{x\in\mathbb Q|x<\sqrt 3\}$ d) $A=\{(x,y)\in\mathbb R^2|x^2+y^2<1\}$ and $A\setminus \{(0,0)\}$

Suppose that the closed subset $K$ of the sphere $$S^2=\{ (x,y,z)\in \mathbb{R}^3\colon x^2+y^2+z^2=1 \}$$ is symmetric with respect to the origin and separates any two antipodal points in $S^2 \backslash K$. Prove that for any positive $\varepsilon$ there exists a homogeneous polynomial $P$ of odd degree such that the Hausdorff distance between $$Z(P)=\{ (x,y,z)\in S^2 \colon P(x,y,z)=0\}$$ and $K$ is less than $\varepsilon$.

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

Let $A$ be a ring with $2^n+1$ elements, where $n$ is a positive integer and let \[ M = \{ k \in\mathbb{Z} \mid k \geq 2, \ x^k =x , \ \forall \ x\in A \} . \] Prove that the following statements are equivalent: a) $A$ is a field; b) $M$ is not empty and the smallest element in $M$ is $2^n+1$. [i]Marian Andronache[/i]

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

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

We call the set $A\in \mathbb R^n$ CN if and only if for every continuous $f:A\to A$ there exists some $x\in A$ such that $f(x)=x$. a) Example: We know that $A = \{ x\in\mathbb R^n | |x|\leq 1 \}$ is CN. b) The circle is not CN. Which one of these sets are CN? 1) $A=\{x\in\mathbb R^3| |x|=1\}$ 2) The cross $\{(x,y)\in\mathbb R^2|xy=0,\ |x|+|y|\leq1\}$ 3) Graph of the function $f:[0,1]\to \mathbb R$ defined by \[f(x)=\sin\frac 1x\ \mbox{if}\ x\neq0,\ f(0)=0\]

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.

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

A map $ F : P(X) \rightarrow P(X)$, where $ P(X)$ denotes the set of all subsets of $ X$, is called a $ \textit{closure operation}$ on $ X$ if for arbitrary $ A,B \subset X$, the following conditions hold: (i) $ A \subset F(A);$ (ii) $ A \subset B \Rightarrow F(A) \subset F(B);$ (iii) $ F(F(A))\equal{}F(A)$. The cardinal number $ \min \{ |A| : \;A \subset X\ ,\;F(A)\equal{}X\ \}$ is called the $ \textit{density}$ of $ F$ and is denoted by $ d(F)$. A set $ H \subset X$ is called $ \textit{discrete}$ with respect to $ F$ if $ u \not \in F(H\minus{}\{ u \})$ holds for all $ u \in H$. Prove that if the density of the closure operation $ F$ is a singular cardinal number, then for any nonnegative integer $ n$, there exists a set of size $ n$ that is discrete with respect to $ F$. Show that the statement is not true when the existence of an infinite discrete subset is required, even if $ F$ is the closure operation of a topological space satisfying the $ T_1$ separation axiom. [i]A. Hajnal[/i]

Let $ E$ be the set of all real functions on $ I\equal{}[0,1]$. Prove that one cannot define a topology on $ E$ in which $ f_n\rightarrow f$ holds if and only if $ f_n$ converges to $ f$ almost everywhere.