Related papers: Compactness Arguments in Real Analysis

This paper presents a new general formulation of the Radon-Nikodym theorem in the setting of abstract measure theory. We introduce the notion of weak localizability for a measure and show that this property is both necessary and sufficient…

Mathematicians like Markov and Bishop made an effort to develop constructive mathematics and extended many theorems in classical mathematical analysis. Heine Borel theorem tells us that a closed bounded subset of Euclidean space R is…

The study of convex functions - in particular, of their optimization (really minimization) is one of the most important fields of applied mathematics. Convexity seems to be one of those incredibly well-chosen hypotheses which is just…

This paper concerns the compactness and separability properties of the normed Boolean algebras (N.B.A.) with respect to topology generated by a distance equal to the square root of a measure of symmetric difference between two elements. The…

We illustrate the generative power of the lifting property (orthogonality of morphisms in a category) as means of defining natural elementary mathematical concepts by giving a number of examples in various categories, in particular showing…

A compact subset $K$ of the complex plane $\C$ is a set of polynomial (respectively rational) approximation if $P(K)=A(K)$ (respectively $R(K)=A(K)$), where $P(K)$ (respectively $R(K)$) is the family of functions on $K$ which are uniform…

This survey article is devoted to the notions of purity, algebraic and $\Sigma$-algebraic compactness, direct sum decompositions, and representation type in the category of modules over a ring. It begins with basic definitions, a brief…

Cantor's ordinal numbers, a powerful extension of the natural numbers, are a cornerstone of set theory. They can be used to reason about the termination of processes, prove the consistency of logical systems, and justify some of the core…

The class of functions from the integers to the integers computable in polynomial time has been characterized recently using discrete ordinary differential equations (ODE), also known as finite differences. In the framework of ordinary…

We develop a theory of real numbers as rational Cauchy sequences, in which any two of them, $(a_n)$ and $(b_n)$, are equal iff $\lim\,(a_n-b_n)=0$. We need such reals in the Countable Mathematical Analysis ([4]) which allows to use only…

In this note we first show a compactness theorem for rotationally symmetric self shrinkers of entropy less than 2, concluding that there are entropy minimizing self shrinkers diffeomorphic to $S^1 \times S^{n-1}$ for each $n \geq 2$ in the…

We propose a novel proof technique that can be applied to attack a broad class of problems in computational complexity, when switching the order of universal and existential quantifiers is helpful. Our approach combines the standard min-max…

We survey key techniques and results from approximation theory in the context of uniform approximations to real functions such as e^{-x}, 1/x, and x^k. We then present a selection of results demonstrating how such approximations can be used…

We introduce natural strengthenings of sequential compactness called the $r$-Ramsey property for each natural number $r\geq 1$. We prove that metrizable compact spaces are $r$-Ramsey for all $r$ and give examples of compact spaces that are…

In this paper, we will study the existence problem of minmax minimal torus. We use classical conformal invariant geometric variational methods. We prove a theorem about the existence of minmax minimal torus in Theorem 5.1. Firstly we prove…

Argumentation is a process of evaluating and comparing a set of arguments. A way to compare them consists in using a ranking-based semantics which rank-order arguments from the most to the least acceptable ones. Recently, a number of such…

We prove a Clarkson-Erd\"os-Schwartz type theorem for the case of a closed sector in the plane. Concretely, we get some sufficient conditions for the incompleteness and minimality of a M\"untz system $E(\Lambda)={z^{\lambda_n}:n=0,1,...}$…

A version of the argument principle is established for varieties of holomorphic mappings from the unit disc to $\mathbb C^n,$ parametrized by points of real manifolds. Applications to characterization of CR functions and estimating CR…

We prove an abstract theorem on keeping the compactness property of a linear operator after interpolation in Banach spaces. Our approach consists of two features. Applying the principle "reductio ad absurdum," we obtain a possibility to…

We present an inductive strategy to show the existence of rational curves on compact Kaehler manifolds which are not minimal models but have a pseudoeffective canonical bundle. The tool for this inductive strategy is a weak subadjunction…