Displaying similar documents to “A strengthening of the Poincaré recurrence theorem on MV-algebras”

Remarks on effect-tribes

Sylvia Pulmannová, Elena Vinceková (2015)

Kybernetika

Similarity:

We show that an effect tribe of fuzzy sets 𝒯 [ 0 , 1 ] X with the property that every f 𝒯 is 0 ( 𝒯 ) -measurable, where 0 ( 𝒯 ) is the family of subsets of X whose characteristic functions are central elements in 𝒯 , is a tribe. Moreover, a monotone σ -complete effect algebra with RDP with a Loomis-Sikorski representation ( X , 𝒯 , h ) , where the tribe 𝒯 has the property that every f 𝒯 is 0 ( 𝒯 ) -measurable, is a σ -MV-algebra.

Trivialization of 𝒞 ( X ) -algebras with strongly self-absorbing fibres

Marius Dadarlat, Wilhelm Winter (2008)

Bulletin de la Société Mathématique de France

Similarity:

Suppose A is a separable unital 𝒞 ( X ) -algebra each fibre of which is isomorphic to the same strongly self-absorbing and K 1 -injective C * -algebra 𝒟 . We show that A and 𝒞 ( X ) 𝒟 are isomorphic as 𝒞 ( X ) -algebras provided the compact Hausdorff space X is finite-dimensional. This statement is known not to extend to the infinite-dimensional case.

Equivalence bundles over a finite group and strong Morita equivalence for unital inclusions of unital C * -algebras

Kazunori Kodaka (2022)

Mathematica Bohemica

Similarity:

Let 𝒜 = { A t } t G and = { B t } t G be C * -algebraic bundles over a finite group G . Let C = t G A t and D = t G B t . Also, let A = A e and B = B e , where e is the unit element in G . We suppose that C and D are unital and A and B have the unit elements in C and D , respectively. In this paper, we show that if there is an equivalence 𝒜 - -bundle over G with some properties, then the unital inclusions of unital C * -algebras A C and B D induced by 𝒜 and are strongly Morita equivalent. Also, we suppose that 𝒜 and are saturated and that A ' C = 𝐂 1 . We show that...

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 .

Convolution operators with anisotropically homogeneous measures on 2 n with n-dimensional support

E. Ferreyra, T. Godoy, M. Urciuolo (2002)

Colloquium Mathematicae

Similarity:

Let α i , β i > 0 , 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let t x = ( t α x , . . . , t α x ) , t x = ( t β x , . . . , t β x ) and | | x | | = i = 1 n | x i | 1 / α i . Let φ₁,...,φₙ be real functions in C ( - 0 ) such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on 2 n given by μ ( E ) = χ E ( x , φ ( x ) ) | | x | | γ - α d x , where α = i = 1 n α i and dx denotes the Lebesgue measure on ℝⁿ. Let T μ f = μ f and let | | T μ | | p , q be the operator norm of T μ from L p ( 2 n ) into L q ( 2 n ) , where the L p spaces are taken with respect to the Lebesgue measure. The type set E μ is defined by E μ = ( 1 / p , 1 / q ) : | | T μ | | p , q < , 1 p , q . In the case α i β k for 1 ≤ i,k ≤ n we characterize the...

The general rigidity result for bundles of A -covelocities and A -jets

Jiří M. Tomáš (2017)

Czechoslovak Mathematical Journal

Similarity:

Let M be an m -dimensional manifold and A = 𝔻 k r / I = N A a Weil algebra of height r . We prove that any A -covelocity T x A f T x A * M , x M is determined by its values over arbitrary max { width A , m } regular and under the first jet projection linearly independent elements of T x A M . Further, we prove the rigidity of the so-called universally reparametrizable Weil algebras. Applying essentially those partial results we give the proof of the general rigidity result T A * M T r * M without coordinate computations, which improves and generalizes the partial...

The n m -propositional calculus

Carlos Gallardo, Alicia Ziliani (2015)

Mathematica Bohemica

Similarity:

T. Almada and J. Vaz de Carvalho (2001) stated the problem to investigate if these Łukasiewicz algebras are algebras of some logic system. In this article an affirmative answer is given and the n m -propositional calculus, denoted by n m , is introduced in terms of the binary connectives (implication), (standard implication), (conjunction), (disjunction) and the unary ones f (negation) and D i , 1 i n - 1 (generalized Moisil operators). It is proved that n m belongs to the class of standard systems...

𝒞 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...

Radon-Nikodym property

Surjit Singh Khurana (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

For a Banach space E and a probability space ( X , 𝒜 , λ ) , a new proof is given that a measure μ : 𝒜 E , with μ λ , has RN derivative with respect to λ iff there is a compact or a weakly compact C E such that | μ | C : 𝒜 [ 0 , ] is a finite valued countably additive measure. Here we define | μ | C ( A ) = sup { k | μ ( A k ) , f k | } where { A k } is a finite disjoint collection of elements from 𝒜 , each contained in A , and { f k } E ' satisfies sup k | f k ( C ) | 1 . Then the result is extended to the case when E is a Frechet space.

On linear preservers of two-sided gut-majorization on 𝐌 n , m

Asma Ilkhanizadeh Manesh, Ahmad Mohammadhasani (2018)

Czechoslovak Mathematical Journal

Similarity:

For X , Y 𝐌 n , m it is said that X is gut-majorized by Y , and we write X gut Y , if there exists an n -by- n upper triangular g-row stochastic matrix R such that X = R Y . Define the relation gut as follows. X gut Y if X is gut-majorized by Y and Y is gut-majorized by X . The (strong) linear preservers of gut on n and strong linear preservers of this relation on 𝐌 n , m have been characterized before. This paper characterizes all (strong) linear preservers and strong linear preservers of gut on n and 𝐌 n , m .

Repdigits in generalized Pell sequences

Jhon J. Bravo, Jose L. Herrera (2020)

Archivum Mathematicum

Similarity:

For an integer k 2 , let ( n ) n be the k - generalized Pell sequence which starts with 0 , ... , 0 , 1 ( k terms) and each term afterwards is given by the linear recurrence n = 2 n - 1 + n - 2 + + n - k . In this paper, we find all k -generalized Pell numbers with only one distinct digit (the so-called repdigits). Some interesting estimations involving generalized Pell numbers, that we believe are of independent interest, are also deduced. This paper continues a previous work that searched for repdigits in the usual Pell sequence ( P n ( 2 ) ) n . ...

Generalized Lebesgue points for Sobolev functions

Nijjwal Karak (2017)

Czechoslovak Mathematical Journal

Similarity:

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point x in a metric measure space ( X , d , μ ) is called a generalized Lebesgue point of a measurable function f if the medians of f over the balls B ( x , r ) converge to f ( x ) when r converges to 0 . We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....