The Baire category theorem and cardinals of countable cofinality

1982 ◽  
Vol 47 (2) ◽  
pp. 275-288 ◽  
Author(s):  
Arnold W. Miller
Keyword(s):  
Real Line ◽  
Measure Zero ◽  
Baire Category ◽  
The Other ◽  
Baire Category Theorem ◽  
The Real ◽  
Zero Sets ◽  
Category Theorem ◽  
Dense Sets ◽  
The Ideal

AbstractLet κB be the least cardinal for which the Baire category theorem fails for the real line R. Thus κB is the least κ such that the real line can be covered by κ many nowhere dense sets. It is shown that κB cannot have countable cofinality. On the other hand it is consistent that the corresponding cardinal for 2ω1 be ℵω. Similar questions are considered for the ideal of measure zero sets, other ω1, saturated ideals, and the ideal of zero-dimensional subsets of Rω1.

Lebesque measure zero subsets of the real line and an infinite game

1996 ◽  
Vol 61 (1) ◽  
pp. 246-249 ◽  
Author(s):  
Marion Scheepers
Keyword(s):  
Lebesgue Measure ◽  
Real Line ◽  
Measure Zero ◽  
Cardinal Number ◽  
Minimal Cardinality ◽  
Combinatorial Characterization ◽  
The Real ◽  
Lebesque Measure ◽  
The Ideal

Let denote the ideal of Lebesgue measure zero subsets of the real line. Then add() denotes the minimal cardinality of a subset of whose union is not an element of . In [1] Bartoszynski gave an elegant combinatorial characterization of add(), namely: add() is the least cardinal number κ for which the following assertion fails:For every family of at mostκ functions from ω to ω there is a function F from ω to the finite subsets of ω such that:1. For each m, F(m) has at most m + 1 elements, and2. for each f inthere are only finitely many m such that f(m) is not an element of F(m).The symbol A(κ) will denote the assertion above about κ. In the course of his proof, Bartoszynski also shows that the cardinality restriction in 1 is not sharp. Indeed, let (Rm: m < ω) be any sequence of integers such that for each m Rm, ≤ Rm+1, and such that limm→∞Rm = ∞. Then the truth of the assertion A(κ) is preserved if in 1 we say instead that1′. For each m, F(m) has at most Rm elements.We shall use this observation later on. We now define three more statements, denoted B(κ), C(κ) and D(κ), about cardinal number κ.

Finite support iteration and strong measure zero sets

1990 ◽  
Vol 55 (2) ◽  
pp. 674-677
Author(s):  
Janusz Pawlikowski
Keyword(s):  
Real Line ◽  
Measure Zero ◽  
Finite Support ◽  
The Real ◽  
Zero Sets ◽  
Strong Measure ◽  
Borel Conjecture ◽  
Strong Measure Zero ◽  
Finite Support Iteration

AbstractAny finite support iteration of posets with precalibre ℵ1 which has the length of cofinahty greater than ω1 yields a model for the dual Borel conjecture in which the real line is covered by ℵ1 strong measure zero sets.

scholarly journals Simultaneous dense and non-dense orbits for toral diffeomorphisms

2016 ◽  
Vol 37 (4) ◽  
pp. 1308-1322 ◽  
Author(s):  
JIMMY TSENG
Keyword(s):  
Baire Category ◽  
Geometric Characterization ◽  
The Other ◽  
Baire Category Theorem ◽  
Open Set ◽  
Category Theorem ◽  
Dense Orbits ◽  
Set Of Points ◽  
Toral Automorphisms

We show that, for pairs of hyperbolic toral automorphisms on the $2$-torus, the points with dense forward orbits under one map and non-dense forward orbits under the other is a dense, uncountable set. The pair of maps can be non-commuting. We also show the same for pairs of $C^{2}$-Anosov diffeomorphisms on the $2$-torus. (The pairs must satisfy slight constraints.) Our main tools are the Baire category theorem and a geometric construction that allows us to give a geometric characterization of the fractal that is the set of points with forward orbits that miss a certain open set.

scholarly journals Stochastic Processes with a Particular Type of Variograms

2007 ◽  
Vol 2007 ◽  
pp. 1-5 ◽  
Author(s):  
Chunsheng Ma
Keyword(s):  
Stochastic Process ◽  
Brownian Motion ◽  
Stochastic Processes ◽  
Series Expansion ◽  
Real Line ◽  
Random Fields ◽  
The Other ◽  
Simple Construction ◽  
The Real ◽  
Line Form

This paper is concerned with a class of stochastic processes or random fields with second-order increments, whose variograms have a particular form, among which stochastic processes having orthogonal increments on the real line form an important subclass. A natural issue, how big this subclass is, has not been explicitly addressed in the literature. As a solution, this paper characterizes a stochastic process having orthogonal increments on the real line in terms of its variogram or its construction. Our findings are a little bit surprising: this subclass is big in terms of the variogram, and on the other hand, it is relatively “small” according to a simple construction. In particular, every such process with Gaussian increments can be simply constructed from Brownian motion. Using the characterizations we obtain a series expansion of the stochastic process with orthogonal increments.

Powers of the ideal of Lebesgue measure zero sets

1991 ◽  
Vol 56 (1) ◽  
pp. 103-107
Author(s):  
Maxim R. Burke
Keyword(s):  
Partial Order ◽  
Lebesgue Measure ◽  
Regular Cardinal ◽  
Measure Zero ◽  
Lebesgue Measure Zero ◽  
Zero Sets ◽  
Covering Lemma ◽  
Inner Model ◽  
The Ideal

AbstractWe investigate the cofinality of the partial order κ of functions from a regular cardinal κ into the ideal of Lebesgue measure zero subsets of R. We show that when add () = κ and the covering lemma holds with respect to an inner model of GCH, then cf (κ) = max{cf(κκ), cf([cf()]κ)}. We also give an example to show that the covering assumption cannot be removed.

scholarly journals Distribution of rational points on the real line

1973 ◽  
Vol 15 (2) ◽  
pp. 243-256 ◽  
Author(s):  
T. K. Sheng
Keyword(s):  
Algebraic Number ◽  
Rational Number ◽  
Real Line ◽  
Rational Points ◽  
The Other ◽  
Liouville Numbers ◽  
The Real ◽  
Other Hand ◽  
Image Position

It is well known that no rational number is approximable to order higher than 1. Roth [3] showed that an algebraic number is not approximable to order greater than 2. On the other hand it is easy to construct numbers, the Liouville numbers, which are approximable to any order (see [2], p. 162). We are led to the question, “Let Nn(α, β) denote the number of distinct rational points with denominators ≦ n contained in an interval (α, β). What is the behaviour of Nn(α, + 1/n) as α varies on the real line?” We shall prove that and that there are “compressions” and “rarefactions” of rational points on the real line.

On indirect Methods of acquiring Knowledge - The Method of History. - The First Table of Mortality

1851 ◽  
Vol 1 (1) ◽  
pp. 40-46
Author(s):  
Edwin James Farren
Keyword(s):  
Real Line ◽  
English Language ◽  
The Other ◽  
Adult Student ◽  
Indirect Methods ◽  
The Real ◽  
Straight Line ◽  
Point To Point ◽  
The One

The term scholar, as current in the English language, has two extreme acceptations, tyro and proficient; or what the later Greeks fancifully termed the alpha and omega of acquirement. If we attempt to trace the steps by which even the adult student of any especial branch of professional or literary knowledge has fairly passed the boundary defined by the one meaning in passing on to that position denoted by the other, it will commonly be found, that in place of that lucid order, that straight line from point to point, which theory and resolve generally premise, the real order of acquirement has been desultory—the real line of progression, circuitous and uncertain.

scholarly journals On a characterization theorem on a-adic solenoids

2019 ◽  
Vol 489 (3) ◽  
pp. 227-231
Author(s):  
G. M. Feldman
Keyword(s):  
Gaussian Distribution ◽  
Real Line ◽  
Linear Form ◽  
Conditional Distribution ◽  
Random Variables ◽  
Characterization Theorem ◽  
The Other ◽  
Independent Random Variables ◽  
Linear Forms ◽  
The Real

According to the Heyde theorem the Gaussian distribution on the real line is characterized by the symmetry of the conditional distribution of one linear form of independent random variables given the other. We prove an analogue of this theorem for linear forms of two independent random variables taking values in an -adic solenoid containing no elements of order 2. Coefficients of the linear forms are topological automorphisms of the -adic solenoid.

scholarly journals The closed graph theorem without category

1987 ◽  
Vol 36 (2) ◽  
pp. 283-287 ◽  
Author(s):  
Charles Swartz
Keyword(s):  
Baire Category ◽  
Baire Category Theorem ◽  
Normed Spaces ◽  
Closed Graph ◽  
Graph Theorem ◽  
Closed Graph Theorem ◽  
Category Theorem

We show that a diagonal theorem of P. Antosik can be used to give a proof of the Closed Graph Theorem for normed spaces which does not depend upon the Baire Category Theorem.

Sign in / Sign up

Export Citation Format

Share Document