Displaying similar documents to “On the nontrivial solvability of systems of homogeneous linear equations over in ZFC”

On the solvability of systems of linear equations over the ring of integers

Horst Herrlich, Eleftherios Tachtsis (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We investigate the question whether a system ( E i ) i I of homogeneous linear equations over is non-trivially solvable in provided that each subsystem ( E j ) j J with | J | c is non-trivially solvable in where c is a fixed cardinal number such that c < | I | . Among other results, we establish the following. (a) The answer is ‘No’ in the finite case (i.e., I being finite). (b) The answer is ‘No’ in the denumerable case (i.e., | I | = 0 and c a natural number). (c) The answer in case that I is uncountable and c 0 is ‘No...

Spaces with property ( D C ( ω 1 ) )

Wei-Feng Xuan, Wei-Xue Shi (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that if X is a first countable space with property ( D C ( ω 1 ) ) and with a G δ -diagonal then the cardinality of X is at most 𝔠 . We also show that if X is a first countable, DCCC, normal space then the extent of X is at most 𝔠 .

On non-normality points, Tychonoff products and Suslin number

Sergei Logunov (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let a space X be Tychonoff product α < τ X α of τ -many Tychonoff nonsingle point spaces X α . Let Suslin number of X be strictly less than the cofinality of τ . Then we show that every point of remainder is a non-normality point of its Čech–Stone compactification β X . In particular, this is true if X is either R τ or ω τ and a cardinal τ is infinite and not countably cofinal.

Continuous images of Lindelöf p -groups, σ -compact groups, and related results

Aleksander V. Arhangel&#039;skii (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

It is shown that there exists a σ -compact topological group which cannot be represented as a continuous image of a Lindelöf p -group, see Example 2.8. This result is based on an inequality for the cardinality of continuous images of Lindelöf p -groups (Theorem 2.1). A closely related result is Corollary 4.4: if a space Y is a continuous image of a Lindelöf p -group, then there exists a covering γ of Y by dyadic compacta such that | γ | 2 ω . We also show that if a homogeneous compact space Y is...

On hereditary normality of ω * , Kunen points and character ω 1

Sergei Logunov (2021)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that ω * { p } is not normal, if p is a limit point of some countable subset of ω * , consisting of points of character ω 1 . Moreover, such a point p is a Kunen point and a super Kunen point.

Moser's Inequality for a class of integral operators

Finbarr Holland, David Walsh (1995)

Studia Mathematica

Similarity:

Let 1 < p < ∞, q = p/(p-1) and for f L p ( 0 , ) define F ( x ) = ( 1 / x ) ʃ 0 x f ( t ) d t , x > 0. Moser’s Inequality states that there is a constant C p such that s u p a 1 s u p f B p ʃ 0 e x p [ a x q | F ( x ) | q - x ] d x = C p where B p is the unit ball of L p . Moreover, the value a = 1 is sharp. We observe that F = K 1 f where the integral operator K 1 has a simple kernel K. We consider the question of for what kernels K(t,x), 0 ≤ t, x < ∞, this result can be extended, and proceed to discuss this when K is non-negative and homogeneous of degree -1. A sufficient condition on K is found for...

C * -points vs P -points and P -points

Jorge Martinez, Warren Wm. McGovern (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In a Tychonoff space X , the point p X is called a C * -point if every real-valued continuous function on C { p } can be extended continuously to p . Every point in an extremally disconnected space is a C * -point. A classic example is the space 𝐖 * = ω 1 + 1 consisting of the countable ordinals together with ω 1 . The point ω 1 is known to be a C * -point as well as a P -point. We supply a characterization of C * -points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space...

On solvability of finite groups with some s s -supplemented subgroups

Jiakuan Lu, Yanyan Qiu (2015)

Czechoslovak Mathematical Journal

Similarity:

A subgroup H of a finite group G is said to be s s -supplemented in G if there exists a subgroup K of G such that G = H K and H K is s -permutable in K . In this paper, we first give an example to show that the conjecture in A. A. Heliel’s paper (2014) has negative solutions. Next, we prove that a finite group G is solvable if every subgroup of odd prime order of G is s s -supplemented in G , and that G is solvable if and only if every Sylow subgroup of odd order of G is s s -supplemented in G . These results...

Coloring Cantor sets and resolvability of pseudocompact spaces

István Juhász, Lajos Soukup, Zoltán Szentmiklóssy (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let us denote by Φ ( λ , μ ) the statement that 𝔹 ( λ ) = D ( λ ) ω , i.e. the Baire space of weight λ , has a coloring with μ colors such that every homeomorphic copy of the Cantor set in 𝔹 ( λ ) picks up all the μ colors. We call a space X π -regular if it is Hausdorff and for every nonempty open set U in X there is a nonempty open set V such that V ¯ U . We recall that a space X is called feebly compact if every locally finite collection of open sets in X is finite. A Tychonov space is pseudocompact if and...

Generalized versions of Ilmanen lemma: Insertion of C 1 , ω or C loc 1 , ω functions

Václav Kryštof (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that for a normed linear space X , if f 1 : X is continuous and semiconvex with modulus ω , f 2 : X is continuous and semiconcave with modulus ω and f 1 f 2 , then there exists f C 1 , ω ( X ) such that f 1 f f 2 . Using this result we prove a generalization of Ilmanen lemma (which deals with the case ω ( t ) = t ) to the case of an arbitrary nontrivial modulus ω . This generalization (where a C l o c 1 , ω function is inserted) gives a positive answer to a problem formulated by A. Fathi and M. Zavidovique in 2010.

𝒞 k -regularity for the ¯ -equation with a support condition

Shaban Khidr, Osama Abdelkader (2017)

Czechoslovak Mathematical Journal

Similarity:

Let D be a 𝒞 d q -convex intersection, d 2 , 0 q n - 1 , in a complex manifold X of complex dimension n , n 2 , and let E be a holomorphic vector bundle of rank N over X . In this paper, 𝒞 k -estimates, k = 2 , 3 , , , for solutions to the ¯ -equation with small loss of smoothness are obtained for E -valued ( 0 , s ) -forms on D when n - q s n . In addition, we solve the ¯ -equation with a support condition in 𝒞 k -spaces. More precisely, we prove that for a ¯ -closed form f in 𝒞 0 , q k ( X D , E ) , 1 q n - 2 , n 3 , with compact support and for ε with 0 < ε < 1 there...

Selectors of discrete coarse spaces

Igor Protasov (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Given a coarse space ( X , ) with the bornology of bounded subsets, we extend the coarse structure from X × X to the natural coarse structure on ( { } ) × ( { } ) and say that a macro-uniform mapping f : ( { } ) X (or f : [ X ] 2 X ) is a selector (or 2-selector) of ( X , ) if f ( A ) A for each A { } ( A [ X ] 2 , respectively). We prove that a discrete coarse space ( X , ) admits a selector if and only if ( X , ) admits a 2-selector if and only if there exists a linear order “ " on X such that the family of intervals { [ a , b ] : a , b X , a b } is a base for the bornology .

Locally functionally countable subalgebra of ( L )

M. Elyasi, A. A. Estaji, M. Robat Sarpoushi (2020)

Archivum Mathematicum

Similarity:

Let L c ( X ) = { f C ( X ) : C f ¯ = X } , where C f is the union of all open subsets U X such that | f ( U ) | 0 . In this paper, we present a pointfree topology version of L c ( X ) , named c ( L ) . We observe that c ( L ) enjoys most of the important properties shared by ( L ) and c ( L ) , where c ( L ) is the pointfree version of all continuous functions of C ( X ) with countable image. The interrelation between ( L ) , c ( L ) , and c ( L ) is examined. We show that L c ( X ) c ( 𝔒 ( X ) ) for any space X . Frames L for which c ( L ) = ( L ) are characterized.