On the consistency of some partition theorems for continuous colorings,and the structure of ℵ1-dense real order types

We present some techniques in c.c.c. forcing, and apply them to prove consistency results concerning the isomorphism and embeddability relations on the family of ?₁-dense sets of real numbers. In this direction we continue the work of Baumgartner [2] who proved the axiom BA stating that every two ?₁-dense subsets of $\text{R}$ are isomorphic, is consistent. We e.g. prove Con(BA+(2^?₀>?₂)). Let <K^H,<> be the set of order types of ?₁-dense homogeneous subsets of $\text{R}$ with the relation of embeddability. We prove that for every finite model <L, <->: Con(MA+ <K^H, <-> ? <L, <->) iff L is a distributive lattice. We prove that it is consistent that the Magidor-Malitz language is not countably compact. We deal with the consistency of certain topological partition theorems. E.g. We prove that MA is consistent with the axiom OCA which says: “If X is a second countable space of power ?₁, and {U₀,\h.;,U_n?1} is a cover of D(X)

XxX-}<x,x>¦x?X} consisting of symmetric open sets, then X can be partitioned into {X_i \brvbar; i ? ω} such that for every i ? ω there is l<n such that D(X_i)?U_l”. We also prove that MA+OCA [xrArr] 2 ?₀ = ?₂.     

The weak form of normality

A topological space is said to be paranormal if every countable discrete collection of closed sets {D _n : n < ω} can be expanded to a locally finite collection of open sets {U _n : n < ω}, i.e., D _n ? U _n and D _m ∩ U _n ≠ 0 if and only if D _m = D _n . It is proved that if F: Comp → Comp is a normal functor of degree ≥ 3 and the compact space F(X) is hereditarily paranormal, then the compact space X is metrizable.     

D-spaces and thick covers

The following results are obtained.

-

An open neighbornet U of X has a closed discrete kernel if X has an almost thick cover by countably U-close sets.

-

Every hereditarily thickly covered space is aD and linearly D.

-

Every t-metrizable space is a D-space.

-

X is a D-space if X has a cover {Xα:α<λ} by D-subspaces such that, for each β<λ, the set ?{Xα:α<β} is closed.

     

Pressing Down Lemma for λ-trees and its applications

For any ordinal λ of uncountable cofinality, a λ-tree is a tree T of height λ such that |T _α| < cf(λ) for each α < λ, where T _α = {x ∈ T: ht(x) = α}. In this note we get a Pressing Down Lemma for λ-trees and discuss some of its applications. We show that if η is an uncountable ordinal and T is a Hausdorff tree of height η such that |T _α | ? ω for each α < η, then the tree T is collectionwise Hausdorff if and only if for each antichain C ? T and for each limit ordinal α ? η with cf(α) > ω, {ht(c): c ∈ C} ∩ α is not stationary in α. In the last part of this note, we investigate some properties of κ-trees, κ-Suslin trees and almost κ-Suslin trees, where κ is an uncountable regular cardinal.     

L-spaces and S-spaces in P(ω)

We show that CH implies that $\text{P}\text{(ω)}$, when equipped with the Vietoris topology, has a subspace which is an L-space and a subspace which is an S-space. This is an immediate consequence of the following purely combinatorial result: CH implies the existence of an ω₁-sequence 〈x_α: α < ω₁〉 in $\text{P}\text{(ω)}$ such that (1) if α<β<ω₁, then $\text{X}{}_{\mathrm{\beta }}\text{?}{}^1\text{X}{}_{\mathrm{\alpha }}$; (2) if I ?ω₁ is unaccountable, then there are distinct α, β ∈ I with X_β ?X_α.     

Ranges of certain functionals in classes of regular functions

LetP _κ,n (λ,β) be the class of functions \(g(z) = 1 + \sum\nolimits_{v = n}^\infty {c_\gamma z^v }\) , regular in ¦z¦<1 and satisfying the condition $$\int_0^{2\pi } {\left| {\operatorname{Re} \left[ {e^{i\lambda } g(z) - \beta \cos \lambda } \right]} \right|} /\left( {1 - \beta } \right)\cos \lambda \left| {d\theta \leqslant \kappa \pi ,} \right.z = re^{i\theta } ,$$ , 0 < r < 1 (κ?2,n?1, 0?Β<1, -π<λ<π/2;M _κ,n (λ,β,α),n?2, is the class of functions \(f(z) = z + \sum\nolimits_{v = n}^\infty {a_v z^v }\) , regular in¦z¦<1 and such thatF _α(z)∈P _κ,n?1(λ,β), where \(F_\alpha (z) = (1 - \alpha )\frac{{zf'(z)}}{{f(z)}} + \alpha (1 + \frac{{zf'(z)}}{{f'(z)}})\) (0?α?1). Onr considers the problem regarding the range of the system {g ^(v?1)(z_?)/(v?1)!}, ?=1,2,...,m,v=1,2,...,N _?, on the classP _κ,1(λ,β). On the classesP _κ,n (λ,β),M _κ,n (λ,β,α) one finds the ranges of C_v, v?n, a_m, n?m?2n-2, and ofg(?),F _?(?), 0<¦ξ¦<1, ξ is fixed.     

Transitive points via Furstenberg family

Let (X,T) be a topological dynamical system and F be a Furstenberg family (a collection of subsets of Z₊ with hereditary upward property). A point x∈X is called an F-transitive one if {n∈Z₊:Tnx∈U}∈F for every non-empty open subset U of X; the system (X,T) is called F-point transitive if there exists some F-transitive point. In this paper, we aim to classify transitive systems by F-point transitivity. Among other things, it is shown that (X,T) is a weakly mixing E-system (resp. weakly mixing M-system, HY-system) if and only if it is {D-sets}-point transitive (resp. {central sets}-point transitive, {weakly thick sets}-point transitive).It is shown that every weakly mixing system is Fip-point transitive, while we construct an Fip-point transitive system which is not weakly mixing. As applications, we show that every transitive system with dense small periodic sets is disjoint from every totally minimal system and a system is Δ^?(Fwt)-transitive if and only if it is weakly disjoint from every P-system.     

On one-point metrizable extensions of locally compact metrizable spaces

For a non-compact metrizable space X, let E(X) be the set of all one-point metrizable extensions of X, and when X is locally compact, let EK(X) denote the set of all locally compact elements of E(X) and be the order-anti-isomorphism (onto its image) defined in [M. Henriksen, L. Janos, R.G. Woods, Properties of one-point completions of a non-compact metrizable space, Comment. Math. Univ. Carolin. 46 (2005) 105-123; in short HJW]. By definition λ(Y)=_?n<ωclβX(Un∩X)\X, where Y=X∪{p}∈E(X) and {Un}_n<ω is an open base at p in Y. We characterize the elements of the image of λ as exactly those non-empty zero-sets of βX which miss X, and the elements of the image of EK(X) under λ, as those which are moreover clopen in βX\X. This answers a question of [HJW]. We then study the relation between E(X) and EK(X) and their order structures, and introduce a subset ES(X) of E(X). We conclude with some theorems on the cardinality of the sets E(X) and EK(X), and some open questions.     

Weak and strong convergence theorems for strict pseudo-contractions in Hilbert spaces

Let C be a closed convex subset of a real Hilbert space H and assume that T is a κ-strict pseudo-contraction on C with a fixed point, for some 0?κ<1. Given an initial guess x₀∈C and given also a real sequence {αn} in (0,1). The Mann's algorithm generates a sequence {xn} by the formula: xn+1=αnxn+(1−αn)Txn, n?0. It is proved that if the control sequence {αn} is chosen so that κ<αn<1 and , then {xn} converges weakly to a fixed point of T. However this convergence is in general not strong. We then modify Mann's algorithm by applying projections onto suitably constructed closed convex sets to get an algorithm which generates a strong convergent sequence. This result extends a recent result of Nakajo and Takahashi [K. Nakajo, W. Takahashi, Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups, J. Math. Anal. Appl. 279 (2003) 372-379] from nonexpansive mappings to strict pseudo-contractions.     

Lattice paths in regions with the catalan property

If α = {α₀, α₁,…, α_n} and β = {β₀, β₁,…, β_n} are two non-decreasing sets of integers such that α₀ = 0 < β₀, α_n < β_n = n, and α_i < i < β_i for 1 ? i ? n ? 1, let L denote the set of lattice points (p, q) such that 0 ? p ? n and α_p ? q ? β_p. We determine all such regions L with the property that the number of lattice paths from (0, 0) to (p, p) in L is the Catalan number$\text{(p + 2)}{}^{\mathrm{?1}}\text{(}\text{2p+2}\text{p+1}\text{)}$ for 0 ? p ? n.     

New iterations with errors for approximating common fixed points for two generalized asymptotically quasi-nonexpansive nonself-mappings

Let X be a real uniformly convex Banach space and C a nonempty closed convex nonexpansive retract of X with P as a nonexpansive retraction. Let T ₁, T ₂: C → X be two uniformly L-Lipschitzian, generalized asymptotically quasi-nonexpansive non-self-mappings of C satisfying condition A′ with sequences {k _n ⁽ⁱ⁾ } and {δ _n ⁽ⁱ⁾ } ? [1, ∞),, i = 1, 2, respectively such that Σ _n=1 ^∞ (k _n ⁽ⁱ⁾ ? 1) < ∞, Σ _n=1 ⁽ⁱ⁾ δ _n ⁽ⁱ⁾ < ∞, and F = F(T ₁) ∩ F(T ₂) ≠ ?. For an arbitrary x ₁ ∈ C, let {x _n } be the sequence in C defined by $$ \begin{gathered} y_n = P\left( {\left( {1 - \beta _n - \gamma _n } \right)x_n + \beta _n T_2 \left( {PT_2 } \right)^{n - 1} x_n + \gamma _n v_n } \right), \hfill \\ x_{n + 1} = P\left( {\left( {1 - \alpha _n - \lambda _n } \right)y_n + \alpha _n T_1 \left( {PT_1 } \right)^{n - 1} x_n + \lambda _n u_n } \right), n \geqslant 1, \hfill \\ \end{gathered} $$ where {α _n }, {β _n }, {γ _n } and {λ _n } are appropriate real sequences in [0, 1) such that Σ _n=1 ^∞ ] γ _n < ∞, Σ _n=1 ^∞ λ _n < ∞, and {u _n }, }v _n } are bounded sequences in C. Then {x _n } and {y _n } converge strongly to a common fixed point of T ₁ and T ₂ under suitable conditions.     

Characterizing filters by convergence (with respect to filters) in Banach spaces

Let X be a topological space and let F be a filter on N, recall that a sequence (xn)_n∈N in X is said to be F-convergent to the point x∈X, if for each neighborhood U of x, {n∈N:xn∈U}∈F. By using F-convergence in ?₁ and in Banach spaces, we characterize the P-filters, the P-filters⁺, the weak P-filters, the Q-filters, the Q-filters⁺, the weak Q-filters, the selective filters and the selective⁺ filters.     

Functional characterization of Vasil’ev invariants

A cover of a manifold X is called an r-cover if any r points of X belong to a set in the cover. Let X and Y be two smooth manifolds, let Emb(X, Y) be the family of smooth embeddings X → Y, let M be an Abelian group, and let F: Emb(X, Y) → M be a functional. One says that the degree of F does not exceed r if for each finite open r-cover {U _i } _i∈I ; of X there exist functionals F _i : Emb(U _i , Y) → M, i ∈ I, such that for each a ∈ Emb(X, Y) one has

Selective separability and its variations

A space X is said to be selectively separable (=M-separable) if for each sequence {Dn:n∈ω} of dense subsets of X, there are finite sets Fn⊂Dn (n∈ω) such that ?{Fn:n∈ω} is dense in X. On selective separability and its variations, we show the following: (1) Selective separability, R-separability and GN-separability are preserved under finite unions; (2) Assuming CH (the continuum hypothesis), there is a countable regular maximal R-separable space X such that X² is not selectively separable; (3) c{0,1} has a selectively separable, countable and dense subset S such that the group generated by S is not selectively separable. These answer some questions posed in Bella et al. (2008) [7].     

Tychonoff expansions with prescribed resolvability properties

The recent literature offers examples, specific and hand-crafted, of Tychonoff spaces (in ZFC) which respond negatively to these questions, due respectively to Ceder and Pearson (1967) [3] and to Comfort and García-Ferreira (2001) [5]: (1) Is every ω-resolvable space maximally resolvable? (2) Is every maximally resolvable space extraresolvable? Now using the method of KID expansion, the authors show that every suitably restricted Tychonoff topological space (X,T) admits a larger Tychonoff topology (that is, an “expansion”) witnessing such failure. Specifically the authors show in ZFC that if (X,T) is a maximally resolvable Tychonoff space with S(X,T)?Δ(X,T)=κ, then (X,T) has Tychonoff expansions U=Ui (1?i?5), with Δ(X,Ui)=Δ(X,T) and S(X,Ui)?Δ(X,Ui), such that (X,Ui) is: (i=1) ω-resolvable but not maximally resolvable; (i=2) [if κ^′ is regular, with S(X,T)?κ^′?κ] τ-resolvable for all τ<κ^′, but not κ^′-resolvable; (i=3) maximally resolvable, but not extraresolvable; (i=4) extraresolvable, but not maximally resolvable; (i=5) maximally resolvable and extraresolvable, but not strongly extraresolvable.     

Limiting distributions of two random sequences

For fixed p (0 ≤ p ≤ 1), let {L₀, R₀} = {0, 1} and X₁ be a uniform random variable over {L₀, R₀}. With probability p let {L₁, R₁} = {L₀, X₁} or = {X₁, R₀} according as $\text{X}{}_1\text{≥}\text{1}\text{2}\text{(L}{}_0\text{+ R}{}_0\text{)}\text{or}\text{<}\text{1}\text{2}\text{(L}{}_0\text{+ R}{}_0\text{)}$; with probability 1 ? p let {L₁, R₁} = {X₁, R₀} or = {L₀, X₁} according as $\text{X}{}_1\text{≥}\text{1}\text{2}\text{(L}{}_0\text{+ R}{}_0\text{)}\text{or}\text{<}\text{1}\text{2}\text{(L}{}_0\text{+ R}{}_0\text{)}$, and let X₂ be a uniform random variable over {L₁, R₁}. For n ≥ 2, with probability p let {L_n, R_n} = {L_{n ? 1}, X_n} or = {X_n, R_{n ? 1}} according as $\text{X}{}_{\mathrm{n}}\text{≥}\text{1}\text{2}\text{(L}{}_{\mathrm{n\; ?\; 1}}\text{+ R}{}_{\mathrm{n\; ?\; 1}}\text{)}\text{or}\text{<}\text{1}\text{2}\text{(L}{}_{\mathrm{n\; ?\; 1}}\text{+ R}{}_{\mathrm{n\; ?\; 1}}\text{)}$, with probability 1 ? p let {L_n, R_n} = {X_n, R_{n ? 1}} or = {L_{n ? 1}, X_n} according as $\text{X}{}_{\mathrm{n}}\text{≥}\text{1}\text{2}\text{(L}{}_{\mathrm{n\; ?\; 1}}\text{+ R}{}_{\mathrm{n\; ?\; 1}}\text{)}\text{or}\text{<}\text{1}\text{2}\text{(L}{}_{\mathrm{n\; ?\; 1}}\text{+ R}{}_{\mathrm{n\; ?\; 1}}\text{)}$, and let X_{n + 1} be a uniform random variable over {L_n, R_n}. By this iterated procedure, a random sequence {X_n}_{n ≥ 1} is constructed, and it is easy to see that X_n converges to a random variable Y_p (say) almost surely as n → ∞. Then what is the distribution of Y_p? It is shown that the Beta, (2, 2) distribution is the distribution of Y₁; that is, the probability density function of Y₁ is g(y) = 6y(1 ? y) I_0,1(y). It is also shown that the distribution of Y₀ is not a known distribution but has some interesting properties (convexity and differentiability).     

On boundary crossings of the samplepth quantile

LetX ₁,X ₂,... be a sequence of independent random variables with distributionF. Suppose that 0<p<1, thatξ _p is the uniquepth quantile ofF, and thatξ _p,n is the samplepth quantile ofX ₁,...,X _n . Ifb(n)→0⁺ sufficiently slowly, then $$N(b) = \sum\limits_{n = 1}^\infty {I\left\{ {\left| {\xi _{p,n} - \xi _p } \right| > b(n)} \right\}} $$ and $$L(b) = \sup \left\{ {n:\left| {\xi _{p,n} - \xi _p } \right| > b(n)} \right\}$$ are proper random variables (finite with probability one). In this paper we investigate the moment behavior of exp{Nb ² (N)} and exp{Lb ² (L)}.     

o-Boundedness of free topological groups

Assuming the absence of Q-points (which is consistent with ZFC) we prove that the free topological group F(X) over a Tychonov space X is o-bounded if and only if every continuous metrizable image T of X satisfies the selection principle fin_?(O,Ω) (the latter means that for every sequence 〈un〉_n∈ω of open covers of T there exists a sequence 〈vn〉_n∈ω such that vn∈[un]^<ω and for every F∈[X]^<ω there exists n∈ω with F⊂?vn). This characterization gives a consistent answer to a problem posed by C. Hernándes, D. Robbie, and M. Tkachenko in 2000.     

On the sequence of partial maxima of some random sequences

Let {X_n, n ? 1} be a sequence of identically distributed random variables, Z_n = max {X₁,…, X_n} and {u_n, n ? 1 } an increasing sequence of real numbers. Under certain additional requirements, necessary and sufficient conditions are given to have, with probability one, an infinite number of crossings of {Z_n} with respect to {u_n}, in two cases: (1) The X_n's are independent, (2) {X_n} is stationary Gaussian and satisfies a mixing condition.     

Construction of a Jacobi matrix from spectral data

A proof is given for the existence and uniqueness of a correspondence between two pairs of sequences {a},{b} and {ω},{μ}, satisfying b_i>0 for i=1,…,n?1 and ω₁<μ₁<?<μ_n?1<ω_n, under which the symmetric Jacobi matrices J(n,a,b) and J(n?1,a,b) have eigenvalues {ω} and {μ} respectively. Here J(m,a,b) is symmetric and tridiagonal with diagonal elements a_i (i=1,…,m) and off diagonal elements b_i (i=1,…,m?1). A new concise proof is given for the known uniqueness result. The existence result is new.