\mathfrak{E} of topological spaces II

In this paper, we obtain analogues, in the situation of \(\mathfrak{E}\) -extensions, of Magill's theorem on lattices of compactifications. We define an epireflective subcategory of the categoryT 2 of all Hausdorff spaces to be admissive (respectively finitely admissive) if for any \(\mathfrak{E}\) -regular spaceX, every Hausdorff quotient of \(\beta _\mathfrak{E} X\) which is Urysohn on \(\beta _\mathfrak{E} X - X\) (respectively which is finitary on \(\beta _\mathfrak{E} X - X\) ) and which is identity onX, has \(\mathfrak{E}\) . We notice that there are many proper epireflective subcategories ofT 2 containing all compact spaces and which are admissive; there are many such which are not admissive but finitely admissive. We prove that when \(\mathfrak{E}\) is a finitely admissive epireflective subcategory ofT 2, then the lattices of finitary \(\mathfrak{E}\) -extensions of two spacesX andY are isomorphic if and only if \(\beta _\mathfrak{E} X - X\) and \(\beta _\mathfrak{E} Y - Y\) are homeomorphic. Further if \(\mathfrak{E}\) is admissive, then the lattices of Urysohn \(\mathfrak{E}\) -extensions ofX andY are isomorphic if and only if \(\beta _\mathfrak{E} X - X\) and \(\beta _\mathfrak{E} Y - Y\) are homeomorphic.     

Zur Theorie der Polynomringe

Let \(\mathfrak{B}\) be a variety of rings,R a ring of \(\mathfrak{B}\) andx an indeterminate. The free compositionR(x, \(\mathfrak{B}\) ) ofR and the free algebra of \(\mathfrak{B}\) generated byx, is called the \(\mathfrak{B}\) -polynomial ring inx the variety of rings, rings with identity, commutative rings or commutative rings with identity resp. We prove some results about relations between the polynomial ringsR(x, \(\mathfrak{B}\) ), whereR is fixed and \(\mathfrak{B}\) runs over these varieties. Moreover we construct normal form systems for certain polynomial ringsR(x, \(\mathfrak{B}\) ).     

Einige aussagen über die reduktion kohärenter analytischer modulgarben

Let (X, ) be a complex space and \(\mathfrak{F}\) a coherent -module. In analogy to the reduction red one can define a reduction \(\mathfrak{F}\) _red= \(\mathfrak{F}\) / \(\mathfrak{F}\) ′, where \(\mathfrak{F}\) ′ ? \(\mathfrak{F}\) is the subsheaf of “nilvalent” elements of \(\mathfrak{F}\) . (Even if X is reduced, we may have \(\mathfrak{F}\) ′ ≠ 0.) We prove that \(\mathfrak{F}\) ′ is coherent. Therefore we can construct the sheaf \(\mathfrak{F}\) (²)=( \(\mathfrak{F}\) ′)′ of nilvalent elements with respect to \(\mathfrak{F}\) ′. Iterating this process, we get a sequence ( \(\mathfrak{F}\) ⁽ⁿ⁾)n∈N of subsheaves of \(\mathfrak{F}\) . We show that on every compact subset of X the sheaves \(\mathfrak{F}\) (ⁿ) vanish for n sufficiently large (Satz 2).     

Analytische Fortsetzbarkeit von zufälligen Potenzreihen bezüglich abhängiger Zufallsvariabler

Рассматриваются слу чайная величина \(\mathfrak{X} = (X_n (\omega ))\) , удовлетворяющая усл овиюE(X _n ⁴ )≦M, и соответствующ ий случайный степенн ой ряд \(f_x (z;\omega ) = \mathop \sum \limits_{n = 0}^\infty a_n X_n (\omega )z^n\) . Устанавливаются тео ремы непродолжимост и почти наверное:

1. дляf _x при условиях с лабой мультипликати вности на \(\mathfrak{X}\) ,
2. для \(f_{\tilde x}\) , где \(\mathop \mathfrak{X}\limits^ \sim = (\mathop X\limits^ \sim _n )\) есть подп оследовательность в \(\mathfrak{X}\) ,
3. для по крайней мере од ного из рядовf _x′ илиf _x″ , где \(\mathfrak{X}'\) и \(\mathfrak{X}''\) — некоторые п ерестановки \(\mathfrak{X}\) , выбираемые универс ально, т. е. независимо от коэффициентовa _n .

     

On some filters and ideals of the Medvedev lattice

Let \(\mathfrak{M}\) be the Medvedev lattice: this paper investigates some filters and ideals (most of them already introduced by Dyment, [4]) of \(\mathfrak{M}\) . If \(\mathfrak{G}\) is any of the filters or ideals considered, the questions concerning \(\mathfrak{G}\) which we try to answer are: (1) is \(\mathfrak{G}\) prime? What is the cardinality of \({\mathfrak{M} \mathord{\left/ {\vphantom {\mathfrak{M} \mathfrak{G}}} \right. \kern-0em} \mathfrak{G}}\) ? Occasionally, we point out some general facts on theT-degrees or the partial degrees, by which these questions can be answered.     

Groups that are not generated by certain\mathfrak{X}-abnormal subgroups

In the theory of formations the concept of an \(\mathfrak{X}\) -normal maximal subgroup is widely used, being some formation [1]. In this note the concept of \(\mathfrak{X}\) normality is introduced for arbitrary subgroups. Subgroups that are not \(\mathfrak{X}\) -normal are called \(\mathfrak{X}\) -abnormal. Finite groups that are not generated by S-abnormal n-th maximal subgroups (n=1, 2, 3, 4) are studied, where S is the formation of all supersolvable groups. The general nature of the results of [3–6] is brought out.     

On initial segments of degrees of constructibility

Let \(\mathfrak{M}\) be a fixed countable standard transitive model of ZF+V=L. We consider the structure Mod of degrees of constructibility of real numbers x with respect to \(\mathfrak{M}\) such that \(\mathfrak{M}\) (x) is a model. An initial segment Q \( \subseteq \) Mod is called realizable if some extension of \(\mathfrak{M}\) with the same ordinals contains exclusively the degrees of constructibility of real numbers from Q (and is a model of Z FC). We prove the following: if Q is a realizable initial segment, then $$[y \in Q \to y< x]]\& \forall z\exists y[z< x \to y \in Q\& \sim [y< z]]]$$ .     

Semidirect sums of Lie algebras

This paper examines the problem of classifying finite-dimensional Lie algebras over the field C with a given radical \(\mathfrak{r}\) and also the problem of classifying algebraic Lie algebras with a given nilpotent radical \(\mathfrak{r}\) . A detailed study is made of the case when \(\mathfrak{r}\) is the nilpotent radical of a parabolic subalgebra of a semisimple Lie algebra.     

Uniforme Räume mit einer linear geordneten Basis

A. K. Steiner undE. F. Steiner described the socalled natural topology κ on spacesA ^B of transfinite sequences (a _β), β∈B,a _β∈A [J. Math. Anal. Appl.19, 174–178 (1967)]. These spaces generalize Baire's zerodimensional sequence-spaces. Using these spaces (A ^B, κ), we generalize two well known theorems of F. Hausdorff, W. Hurewicz, C. Kuratowski and K. Morita on metric spaces and their Lebesgue-dimension respectively, both involving Baire's sequence spaces. Thus we obtain a topological characterization of uniform spaces \((X,\mathfrak{U})\) with a linearly ordered base \(\mathfrak{B}\) of \(\mathfrak{U}\) .     

ОБ ИНтЕРпОлИРОВАНИИ В кОМплЕксНОИ ОБлАст И

LetD be a simply connected domain, the boundary of which is a closed Jordan curveγ; \(\mathfrak{M} = \left\{ {z_{k, n} } \right\}\) , 0≦k≦n; n=1, 2, 3, ..., a matrix of interpolation knots, \(\mathfrak{M} \subset \Gamma ; A_c \left( {\bar D} \right)\) the space of the functions that are analytic inD and continuous on \(\bar D; \left\{ {L_n \left( {\mathfrak{M}; f, z} \right)} \right\}\) the sequence of the Lagrange interpolation polynomials. We say that a matrix \(\mathfrak{M}\) satisfies condition (B _m ), \(\mathfrak{M}\) ∈(B _m ), if for some positive integerm there exist a setB _m containingm points and a sequencen _{p p=1} ^∞ of integers such that the series \(\mathop \Sigma \limits_{p = 1}^\infty \frac{1}{{n_p }}\) diverges and for all pairsn _i ,n _j ∈{n _p } _p=1 ^∞ the set \(\left( {\bigcap\limits_{k = 0}^{n_i } {z_{k, n_i } } } \right)\bigcap {\left( {\bigcup\limits_{k = 0}^{n_j } {z_{k, n_j } } } \right)} \) is contained inB _m . The main result reads as follows. {Let D=z: ¦z¦ \(\Gamma = \partial \bar D\) and let the matrix \(\mathfrak{M} \subset \Gamma \) satisfy condition (B_m). Then there exists a function \(f \in A_c \left( {\bar D} \right)\) such that the relation $$\mathop {\lim \sup }\limits_{n \to \infty } \left| {L_n \left( {\mathfrak{M}, f, z} \right)} \right| = \infty $$ holds almost everywhere on γ.     

Operator differentiable functions

A scalar functionf is called opertor differentiable if its extension via spectral theory to the self-adjoint members of \(\mathfrak{B}\) (H) is differentiable. The study of differentiation and perturbation of such operator functions leads to the theory of mappings defined by the double operator integral $$x \mapsto \smallint \smallint \frac{{f(\lambda ) - f(\mu )}}{{\lambda - \mu }}F(d\mu )xE(d\lambda ).$$ We give a new condition under which this mapping is bounded on \(\mathfrak{B}\) (H). We also present a means of extendingf to a function on all of \(\mathfrak{B}\) (H) and determine corresponding perturbation and differentiation formulas. A connection with the “joint Peirce decomposition” from the theory ofJB ^*-triples is found. As an application we broaden the class of functions known to preserve the domain of the generator of a strongly continuous one-parameter group of^*-automorphisms of aC ^*-algebra.     

A generalization of the finiteness problem of the local cohomology modules

Let R be a commutative Noetherian ring and \(\mathfrak{a}\) an ideal of R. We introduce the concept of \(\mathfrak{a}\) -weakly Laskerian R-modules, and we show that if M is an \(\mathfrak{a}\) -weakly Laskerian R-module and s is a non-negative integer such that Ext _R ^j \((R/\mathfrak{a},H_\mathfrak{a}^i (M))\) is \(\mathfrak{a}\) -weakly Laskerian for all i < s and all j, then for any \(\mathfrak{a}\) -weakly Laskerian submodule X of \(H_\mathfrak{a}^s (M)\) , the R-module \(Hom_R (R/\mathfrak{a},H_\mathfrak{a}^s (M)/X)\) is \(\mathfrak{a}\) -weakly Laskerian. In particular, the set of associated primes of \(H_\mathfrak{a}^s (M)/X\) is finite. As a consequence, it follows that if M is a finitely generated R-module and N is an \(\mathfrak{a}\) -weakly Laskerian R-module such that \(H_\mathfrak{a}^i (N)\) (N) is \(\mathfrak{a}\) -weakly Laskerian for all i < s, then the set of associated primes of \(H_\mathfrak{a}^s (M,N)\) (M,N) is finite. This generalizes the main result of S. Sohrabi Laleh, M.Y. Sadeghi, and M.Hanifi Mostaghim (2012).     

Über pseudoaffine Räume

For pseudoaffine spaces (P, \(\mathfrak{G}\) ) of order 3 the following questions are answered: 1) Let τ be a “translation” of (P, \(\mathfrak{G}\) ) which fixes all lines parallel to a given line A. Are lines X,Y ∥ A parallel? 2) Are there pseudoaffine euclidean spaces which are not affine? 3) How are pseudoaffine spaces characterized which are derivated from groups of exponent 3?     

Fibered incidence groups which are not kinematic

An incidence space \((\beta ,\mathfrak{L})\) which is obtained from an affine space \((\beta _a ,\mathfrak{L}_a )\) by omitting a hyperplane is calledstripe space. If \((\beta _a ,\mathfrak{L}_a )\) is desarguesian, then \(\beta \) can be provided with a group operation “ ○ ” such that \((\beta ,\mathfrak{L}, \circ )\) becomes a kinematic space calledstripe group. It will be shown that there are stripe groups \((\beta ,\mathfrak{L}, \circ )\) where the incidence structure \(\mathfrak{L}\) can be replaced by another incidence structure ? such that \((\beta ,\Re , \circ )\) is afibered incidence group which is not kinematic. An application on translation planes concerning the group of affinities is also given.     

Die metrisierbaren linearen Teilräume des Raumes\mathfrak{O}_M von L. Schwartz

In Schwartz' terminology, a real or complex valued functionf, defined and infinitely differentiable on ? _n , belongs to \(\mathfrak{O}_M \) iff, as well as any of its derivatives, is at most of polynomial growth. The topology of \(\mathfrak{O}_M \) is defined by the seminorms sup{∣?(x)D ^p f(x)∣;x∈? ⁿ }, where ? belongs to \(\mathfrak{S}\) andD ^p is any derivative. It is well-known that \(\mathfrak{O}_M \) is non-metrisable. For any μ: ? ⁿ →?, let \(\mathfrak{B}_\mu \) be the space of all infinitely differentiable functionsf satisfying, for eachp, sup{∣(1+∣x∣²)^?μ(p) D ^p f(x)∣;x∈? ⁿ }<∞, with the obvious topology. These spaces, which are of very little use elsewhere in the theory of distributions, can be conveniently applied to characterise the metrisable linear subspaces of \(\mathfrak{O}_M \) : A linear subspace of \(\mathfrak{O}_M \) is metrisable if and only if it is, algebraically and topologically, a subspace of some \(\mathfrak{B}_\mu \) .     

On the limit superior of sequences of sets

qVЕРхНИИ пРЕДЕл пОслЕД ОВАтЕльНОстИ МНОжЕс тВA _n ОпРЕДЕльЕтсь сООтНО шЕНИЕМ \(\mathop {\lim sup}\limits_{n \to \infty } A_n = \mathop \cap \limits_{k = 1}^\infty \mathop \cup \limits_{n = k}^\infty A_n . B\) стАтьЕ РАссМАтРИВА Етсь слЕДУУЩИИ ВОпРО с: ЧтО МОжНО скАжАть О ВЕРхНИх пРЕДЕлАх \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) , еслИ ИжВЕстНО, ЧтО пРЕсЕЧЕНИь \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) «МАлы» Дль кАж-ДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) ? ДОкАжыВАЕтсь, Ч тО

1. ЕслИ \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — кОНЕЧНОЕ МНО жЕстВО Дль кАжДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , тО НАИДЕтсь тАкАь пОДпО слЕДОВАтЕльНОсть, Дл ь кОтОРОИ МНОжЕстВО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) сЧЕтНО;
2. ЕслИ \(2^{\aleph _0 } = \aleph _1\) , тО сУЩЕстВУЕ т тАкАь пОслЕДОВАтЕл ьНОсть (A_n), ЧтО \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — сЧЕтНОЕ МНОжЕстВО Дль лУБОИ п ОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , НО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) ИМЕЕт МОЩ-НОсть кОНтИНУУМА;
3. ЕслИA _n — БОРЕлЕ ВскИЕ МНОжЕстВА В НЕкОтОРО М пОлНОМ сЕпАРАБЕльНО М МЕтРИЧЕскОМ пРОстРАНстВЕ, И \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — сЧЕт НОЕ МНОжЕстВО Дль кАж ДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , тО сУЩЕстВУЕт тАкАь п ОДпОслЕДОВАтЕльНОсть, ЧтО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) — сЧЕтНОЕ МНОжЕстВО. кРОМЕ тОгО, ДОкАжАНО, Ч тО В слУЧАьх А) И В) В пОслЕДОВАтЕльНОстИ (A _n ) сУЩЕстВУЕт схОДьЩА ьсь пОДпОслЕДОВАтЕльНО сть.

кРОМЕ тОгО, ДОкАжАНО, Ч тО В слУЧАьх А) И В) В пОслЕДОВАтЕльНОстИ (А _n ) сУЩЕстВУЕт схОДьЩ Аьсь пОДпОслЕДОВАтЕльНО сть.     

A characterisation of multiplicity

LetR be a ring with non-zero identity and unitary leftR-modules, while \(\mathcal{N}_R \) is the subcategory of NoetherianR-modules. Given a length functionL on \(\mathcal{N}_R \) and central elements α₁,...,α _n ofR we can define the multiplicity length functione _R (L|α₁,...α _n |) on \(\mathcal{N}_R \) with the same properties as the classical multiplicity. Here, we characterise multiplicity as the greatest length function which can be defined inductively in terms of a certain type of function on \(\mathcal{N}_R \) .     

Zur Struktur Geschlitzter Doppelräume

Let (P, \(\mathfrak{G}\) ,∥_?,∥_r) be an incidence space with two parallelisms ∥_? and ∥_r. (P, \(\mathfrak{G}\) ,∥_?,∥_r) is called double space [5], if for any two intersecting lines A and B and for any two points a ? A, b ? B the ?-parallel to B through a and the r-parallel to A through b intersect. A double space (P, \(\mathfrak{G}\) ,∥_ol,∥_r) is called h1-slit, if (P, \(\mathfrak{G}\) ) is a slit space [7] with at most one affine plane through every point of P. We show that every h1-slit double space of at least dimension three contains h1-slit double spaces of dimension three. Every h1-slit double space (P, \(\mathfrak{G}\) , ∥_?,∥_r) with ∥_? ≠ ∥_r has dimension three. The h1-slit double spaces of dimension three are characterized.     

On positive definite measures

In this paper we study the Fourier transform of unbounded measures on a locally compact groupG. After a short introductory section containing background material, especially results established byL. Argabright andJ. Gil De Lamadrid we turn to the main subjects of the paper: first we characterize \(\Re \left( G \right), \mathfrak{J}\left( G \right)\) andB(G) cones in \(\mathfrak{W}\left( G \right)\) . After that we establish the subspace \(\mathfrak{W}_\Delta \left( G \right)\) of \(\mathfrak{W}\left( G \right)\) which contains \(\mathfrak{W}_p \left( G \right)\) , the linear span of all positive definite measures.     

Note on the distribution of zeros of polynomials

Let \(\mathfrak{M}\) be the set of zeros of the polynomial \(P(z) = \sum\nolimits_{k = 0}^m {A_k S_k (z)} \) , where S_k(z) are functions defined in some region B and the coefficients A_k are arbitrary numbers from the ring $$0 \leqslant \tau _k \leqslant |A_k - a_k | \leqslant R_{_k }< \infty $$ . Conditions necessary and sufficient to ensure that z ∈ \(\mathfrak{M}\) are obtained.