Found problems: 73
1980 Miklós Schweitzer, 2
Let $ \mathcal{H}$ be the class of all graphs with at most $ 2^{\aleph_0}$ vertices not containing a complete subgraph of size $ \aleph_1$. Show that there is no graph $ H \in \mathcal{H}$ such that every graph in $ \mathcal{H}$ is a subgraph of $ H$.
[i]F. Galvin[/i]
1972 Miklós Schweitzer, 10
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]
1967 Miklós Schweitzer, 10
Let $ \sigma(S_n,k)$ denote the sum of the $ k$th powers of the lengths of the sides of the convex $ n$-gon $ S_n$ inscribed in a unit circle. Show that for any natural number greater than $ 2$ there exists a real number $ k_0$ between $ 1$ and $ 2$ such that $ \sigma(S_n,k_0)$ attains its maximum for the regular $ n$-gon.
[i]L. Fejes Toth[/i]
1950 Miklós Schweitzer, 10
Consider an arc of a planar curve such that the total curvature of the arc is less than $ \pi$. Suppose, further, that the curvature and its derivative with respect to the arc length exist at every point of the arc and the latter nowhere equals zero. Let the osculating circles belonging to the endpoints of the arc and one of these points be given. Determine the possible positions of the other endpoint.
1965 Miklós Schweitzer, 6
Consider the radii of normal curvature of a surface at one of its points $ P_0$ in two conjugate direction (with respect to the Dupin indicatrix). Show that their sum does not depend on the choice of the conjugate directions. (We exclude the choice of asymptotic directions in the case of a hyperbolic point.)
1968 Miklós Schweitzer, 7
For every natural number $ r$, the set of $ r$-tuples of natural numbers is partitioned into finitely many classes. Show that if $ f(r)$ is a function such that $ f(r)\geq 1$ and $ \lim _{r\rightarrow \infty} f(r)\equal{}\plus{}\infty$, then there exists an infinite set of natural numbers that, for all $ r$, contains $ r$-triples from at most $ f(r)$ classes. Show that if $ f(r) \not \rightarrow \plus{}\infty$, then there is a family of partitions such that no such infinite set exists.
[i]P. Erdos, A. Hajnal[/i]
1978 Miklós Schweitzer, 7
Let $ T$ be a surjective mapping of the hyperbolic plane onto itself which maps collinear points into collinear points. Prove that $ T$ must be an isometry.
[i]M. Bognar[/i]
1972 Miklós Schweitzer, 9
Let $ K$ be a compact convex body in the $ n$-dimensional Euclidean space. Let $ P_1,P_2,...,P_{n\plus{}1}$ be the vertices of a simplex having maximal volume among all simplices inscribed in $ K$. Define the points $ P_{n\plus{}2},P_{n\plus{}3},...$ successively so that $ P_k \;(k>n\plus{}1)$ is a point of $ K$ for which the volume of the convex hull of $ P_1,...,P_k$ is maximal. Denote this volume by $ V_k$. Decide, for different values of $ n$, about the truth of the statement "the sequence $ V_{n\plus{}1},V_{n\plus{}2},...$ is concave."
[i]L. Fejes- Toth, E. Makai[/i]
1978 Miklós Schweitzer, 8
Let $ X_1, \ldots ,X_n$ be $ n$ points in the unit square ($ n>1$). Let $ r_i$ be the distance of $ X_i$ from the nearest point (other than $ X_i$). Prove that the inequality \[ r_1^2\plus{} \ldots \plus{}r_n^2 \leq 4.\]
[i]L. Fejes-Toth, E. Szemeredi[/i]
1975 Miklós Schweitzer, 1
Show that there exists a tournament $ (T,\rightarrow)$ of cardinality $ \aleph_1$ containing no transitive subtournament of size $ \aleph_1$. ( A structure $ (T,\rightarrow)$ is a $ \textit{tournament}$ if $ \rightarrow$ is a binary, irreflexive, asymmetric and trichotomic relation. The tournament $ (T,\rightarrow)$ is transitive if $ \rightarrow$ is transitive, that is, if it orders $ T$.)
[i]A. Hajnal[/i]
1974 Miklós Schweitzer, 9
Let $ A$ be a closed and bounded set in the plane, and let $ C$ denote the set of points at a unit distance from $ A$. Let $ p \in
C$, and assume that the intersection of $ A$ with the unit circle $ K$ centered at $ p$ can be covered by an arc shorter that a semicircle of $ K$. Prove that the intersection of $ C$ with a suitable neighborhood of $ p$ is a simple arc which $ p$ is not an endpoint.
[i]M. Bognar[/i]
1964 Miklós Schweitzer, 2
Let $ p$ be a prime and let \[ l_k(x,y)\equal{}a_kx\plus{}b_ky \;(k\equal{}1,2,...,p^2)\ .\] be homogeneous linear polynomials with integral coefficients. Suppose that for every pair $ (\xi,\eta)$ of integers, not both divisible by $ p$, the values $ l_k(\xi,\eta), \;1\leq k\leq p^2 $, represent every residue class $ \textrm{mod} \;p$ exactly $ p$ times. Prove that the set of pairs $ \{(a_k,b_k): 1\leq k \leq p^2 \}$ is identical $ \textrm{mod} \;p$ with the set $ \{(m,n): 0\leq m,n \leq p\minus{}1 \}.$
1973 Miklós Schweitzer, 8
What is the radius of the largest disc that can be covered by a finite number of closed discs of radius $ 1$ in such a way that each disc intersects at most three others?
[i]L. Fejes-Toth[/i]
1974 Miklós Schweitzer, 1
Let $ \mathcal{F}$ be a family of subsets of a ground set $ X$ such that $ \cup_{F \in \mathcal{F}}F=X$, and
(a) if $ A,B \in \mathcal{F}$, then $ A \cup B \subseteq C$ for some $ C \in \mathcal{F};$
(b) if $ A_n \in \mathcal{F} \;(n=0,1,...)\ , B \in \mathcal{F},$ and $ A_0 \subset A_1 \subset...,$ then, for some $ k \geq 0, \;A_n \cap B=A_k \cap B$ for all $ n \geq k$.
Show that there exist pairwise disjoint sets ${ X_{\gamma} \;( \gamma \in \Gamma}\ )$, with $ X= \cup \{ X_{\gamma} : \;\gamma \in \Gamma \ \},$ such that every $ X_{\gamma}$ is contained in some member of $ \mathcal{F}$, and every element of $ \mathcal{F}$ is contained in the union of finitely many $ X_{\gamma}$'s.
[i]A. Hajnal[/i]
1951 Miklós Schweitzer, 16
Let $ \mathcal{F}$ be a surface which is simply covered by two systems of geodesics such that any two lines belonging to different systems form angles of the same opening. Prove that $ \mathcal{F}$ can be developed (that is, isometrically mapped) into the plane.
1968 Miklós Schweitzer, 4
Let $ f$ be a complex-valued, completely multiplicative,arithmetical function. Assume that there exists an infinite increasing sequence $ N_k$ of natural numbers such that \[ f(n)\equal{}A_k \not\equal{} 0 \;\textrm{provided}\ \; N_k \leq n \leq N_k\plus{}4 \sqrt{N_k}\
.\] Prove that $ f$ is identically $ 1$.
[i]I. Katai[/i]
1972 Miklós Schweitzer, 2
Let $ \leq$ be a reflexive, antisymmetric relation on a finite set $ A$. Show that this relation can be extended to an appropriate finite superset $ B$ of $ A$ such that $ \leq$ on $ B$ remains reflexive, antisymmetric, and any two elements of $ B$ have a least upper bound as well as a greatest lower bound. (The relation $ \leq$ is extended to $ B$ if for $ x,y \in A , x \leq y$ holds in $ A$ if and only if it holds in $ B$.)
[i]E. Freid[/i]
1966 Miklós Schweitzer, 3
Let $ f(n)$ denote the maximum possible number of right triangles determined by $ n$ coplanar points. Show that \[ \lim_{n\rightarrow \infty} \frac{f(n)}{n^2}\equal{}\infty \;\textrm{and}\ \lim_{n\rightarrow \infty}\frac{f(n)}{n^3}\equal{}0 .\]
[i]P. Erdos[/i]
2013 Miklós Schweitzer, 6
Let ${\mathcal A}$ be a ${C^{\ast}}$ algebra with a unit element and let ${\mathcal A_+}$ be the cone of the positive elements of ${\mathcal A}$ (this is the set of such self adjoint elements in ${\mathcal A}$ whose spectrum is in ${[0,\infty)}$. Consider the operation
\[ \displaystyle x \circ y =\sqrt{x}y\sqrt{x},\ x,y \in \mathcal A_+\]
Prove that if for all ${x,y \in \mathcal A_+}$ we have
\[ \displaystyle (x\circ y)\circ y = x \circ (y \circ y), \]
then ${\mathcal A}$ is commutative.
[i]Proposed by Lajos Molnár[/i]
1971 Miklós Schweitzer, 4
Suppose that $ V$ is a locally compact topological space that admits no countable covering with compact sets. Let $ \textbf{C}$
denote the set of all compact subsets of the space $ V$ and $ \textbf{U}$ the set of open subsets that are not contained in any compact set. Let $ f$ be a function from $ \textbf{U}$ to $ \textbf{C}$ such that $ f(U)\subseteq U$ for all $ U \in \textbf{U}$. Prove that either
(i) there exists a nonempty compact set $ C$ such that $ f(U)$ is not a proper subset of $ C$ whenever $ C \subseteq U \in \textbf{U}$,
(ii) or for some compact set $ C$, the set \[ f^{-1}(C)= \bigcup \{U \in \textbf{U}\;: \ \;f(U)\subseteq C\ \}\] is an element of $ \textbf{U}$, that is, $ f^{-1}(C)$ is not contained in any compact set.
[i]A. Mate[/i]
1950 Miklós Schweitzer, 6
Consider an arc of a planar curve; let the radius of curvature at any point of the arc be a differentiable function of the arc length and its derivative be everywhere different from zero; moreover, let the total curvature be less than $ \frac{\pi}{2}$. Let $ P_1,P_2,P_3,P_4,P_5$ and $ P_6$ be any points on this arc, subject to the only condition that the radius of curvature at $ P_k$ is greater than at $ P_j$ if $ j<k$.
Prove that the radius of the circle passing through the points $ P_1,P_3$ and $ P_5$ is less than the radius of the circle through $ P_2,P_4$ and $ P_6$
1982 Miklós Schweitzer, 8
Show that for any natural number $ n$ and any real number $ d > 3^n / (3^n\minus{}1)$, one can find a covering of the unit square with $ n$ homothetic triangles with area of the union less than $ d$.
2011 Pre-Preparation Course Examination, 2
by using the formula $\pi cot(\pi z)=\frac{1}{z}+\sum_{n=1}^{\infty}\frac{2z}{z^2-n^2}$ calculate values of $\zeta(2k)$ on terms of bernoli numbers and powers of $\pi$.
1963 Miklós Schweitzer, 2
Show that the center of gravity of a convex region in the plane halves at least three chords of the region. [Gy. Hajos]
1970 Miklós Schweitzer, 6
Let a neighborhood basis of a point $ x$ of the real line consist of all Lebesgue-measurable sets containing $ x$ whose density at $ x$ equals $ 1$. Show that this requirement defines a topology that is regular but not normal.
[i]A. Csaszar[/i]