Related papers: Finite Sets with Fake Observable Cardinality

Our purpose in this article is first, following [8], to prove that if $\alpha $, $\beta $ are any points of the open unit disc $D(0;1)$ in the complex plane ${\bf C}$ and $r$, $s$ are any positive real numbers such that ${\overline{D}}(…

For two semi-simple algebras $A$ and $B$ over an arbitrary ground field $F$, we give a numerical criterion when $\Hom_F(A,B)$, the set of $F$-algebra homomorphisms between them, is non-empty. We also determine when the orbit set $B^\times…

We prove that every infinite-dimensional (locally convex) linear topological space that can be expressed as a direct limit of finite-dimensional metrizable compacta is (linearly) homeomorphic to the space $R^\infty=\dlim R^n$.

Let $X\subset \mathbb{C}^n; Y\subset \mathbb{C}^m$ be closed affine varieties and let $\phi: X\to Y$ be an algebraic bi-Lipschitz homeomorphism. Then ${\rm deg}\ X={\rm deg}\ Y.$ Similarly, let $(X,0)\subset (\mathbb{C}^n,0), (Y,0)\subset…

Let $X$ be a set of cardinality $\kappa$ such that $\kappa^\omega=\kappa$. We prove that the linear algebra $\mathbb{R}^X$ (or $\mathbb{C}^X$) contains a free linear algebra with $2^\kappa$ generators. Using this, we prove several…

We give a simple proof of the title.

A graph $G$ is called well-covered if all maximal independent sets of vertices have the same cardinality. A simplicial complex $\Delta$ is called pure if all of its facets have the same cardinality. Let $\mathcal G$ be the class of graphs…

Let P be the direct product of countably many copies of the additive group Z of integers. We study, from a set-theoretic point of view, those subgroups of P for which all homomorphisms to Z annihilate all but finitely many of the standard…

In this paper, we have established boundaries of cardinal numbers of nonempty sets in finite non-$T_1$ topological spaces using interval analysis. For a finite set with known cardinality, we give interval estimations based on the closure…

For every space $X$ let $\mathcal K(X)$ be the set of all compact subsets of $X$. Christensen \cite{c:74} proved that if $X, Y$ are separable metrizable spaces and $F\colon\mathcal{K}(X)\to\mathcal{K}(Y)$ is a monotone map such that any…

Federer's characterization states that a set $E\subset \mathbb{R}^n$ is of finite perimeter if and only if $\mathcal H^{n-1}(\partial^*E)<\infty$. Here the measure-theoretic boundary $\partial^*E$ consists of those points where both $E$ and…

We show a new proof for the fact that when $\kappa$ and $\lambda$ are infinite cardinals satisfying $\lambda ^ \kappa = \lambda$, the cofinality of the set of all functions from $\lambda$ to $\kappa$ ordered by everywhere domination is…

Relative to class many supercompact cardinals, we construct a model of $\ZFC+\GCH$ where for every singular cardinal $\delta$ of countable cofinality and every regular uncountable $\mu<\delta$ there are stationarily many non-approachable…

We strengthen the results of \cite{A1}, consequently, we improve the claims of \cite{A2} obtaining the best possible results. Namely, we prove that if a subgroup $\Gamma $ of $\mathrm{Diff}_{+}(I)$ contains a free semigroup on two…

For an uncountable regular cardinal \kappa we let \nabla_\kappa(A) be the statement that A \subset \kappa and for all regular \theta > \kappa, the set of all X \in [\theta]^<\kappa such that X \cap \kappa \in \kappa and otp(X \cap OR) is a…

Let $F\in\mathbb{Z}[x,y]$ and $m\ge2$ be an integer. A set $A\subset \mathbb{Z}$ is called an $(F,m)$-Diophantine set if $F(a,b)$ is a perfect $m$-power for any $a,b\in A$ where $a\ne b$. If $F$ is a bivariate polynomial for which there…

We give a partial solution to a question by Alas, Junqueria and Wilson by proving that under PFA the one-point compactification of a locally compact, discretely generated and countably tight space is also discretely generated. After this,…

Let $\Gamma $ be a $C^\infty $ curve in $\Bbb{C}$ containing 0; it becomes $\Gamma_\theta $ after rotation by angle $\theta $ about 0. Suppose a $C^\infty $ function $f$ can be extended holomorphically to a neighborhood of each element of…

Existing results of Fu show that, if two finite sets of roots of unity are projectively equivalent by a projective automorphism that does not act bijectively on the set of all roots of unity, then these sets consist of at most 14 points.…

A ballean is a set $X$ endowed with some family $\F$ of its subsets, called the balls, in such a way that $(X,\F)$ can be considered as an asymptotic counterpart of a uniform topological space. Given a cardinal $\kappa$, we define $\F$…