Page 1 Next

Displaying 1 – 20 of 194

Showing per page

Łukasiewicz tribes are absolutely sequentially closed bold algebras

Roman Frič (2002)

Czechoslovak Mathematical Journal

We show that each sequentially continuous (with respect to the pointwise convergence) normed measure on a bold algebra of fuzzy sets (Archimedean M V -algebra) can be uniquely extended to a sequentially continuous measure on the generated Łukasiewicz tribe and, in a natural way, the extension is maximal. We prove that for normed measures on Łukasiewicz tribes monotone (sequential) continuity implies sequential continuity, hence the assumption of sequential continuity is not restrictive. This yields...

α-Equivalence

Kyewon Koh Park (1998)

Studia Mathematica

We define the α - relations between discrete systems and between continuous systems. We show that it is an equivalence relation. α- Equivalence vs. even α-equivalence is analogous to Kakutani equivalence vs. even Kakutani equivalence.

Σ -convergence.

Nguetseng, Gabriel, Svanstedt, Nils (2011)

Banach Journal of Mathematical Analysis [electronic only]

σ -porosity is separably determined

Marek Cúth, Martin Rmoutil (2013)

Czechoslovak Mathematical Journal

We prove a separable reduction theorem for σ -porosity of Suslin sets. In particular, if A is a Suslin subset in a Banach space X , then each separable subspace of X can be enlarged to a separable subspace V such that A is σ -porous in X if and only if A V is σ -porous in V . Such a result is proved for several types of σ -porosity. The proof is done using the method of elementary submodels, hence the results can be combined with other separable reduction theorems. As an application we extend a theorem...

σ-ring and σ-algebra of Sets1

Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama (2015)

Formalized Mathematics

In this article, semiring and semialgebra of sets are formalized so as to construct a measure of a given set in the next step. Although a semiring of sets has already been formalized in [13], that is, strictly speaking, a definition of a quasi semiring of sets suggested in the last few decades [15]. We adopt a classical definition of a semiring of sets here to avoid such a confusion. Ring of sets and algebra of sets have been formalized as non empty preboolean set [23] and field of subsets [18],...

Currently displaying 1 – 20 of 194

Page 1 Next