Soft almost disjoint families

An almost disjoint family is said to be soft if there is an infinite set that meets each in a nonempty but finite set. We consider the associated cardinal invariant defined to be the minimal cardinality of an almost disjoint family that is not soft. We show that this cardinal coincides with J. Brendle's cardinal .

     

Sets of uniqueness for spherically convergent multiple trigonometric series

A subset of the -dimensional torus is called a set of uniqueness, or -set, if every multiple trigonometric series spherically converging to outside vanishes identically. We show that all countable sets are -sets and also that sets are -sets for every . In particular, , where is the Cantor set, is an set and hence a -set. We will say that is a -set if every multiple trigonometric series spherically Abel summable to outside and having certain growth restrictions on its coefficients vanishes identically. The above-mentioned results hold also for sets. In addition, every -set has measure , and a countable union of closed -sets is a -set.

     

Non-Uniformity and Generalised Sacks Splitting

We show that there do not exist computable functions f ₁(e, i), f ₂(e, i), g ₁(e, i), g ₂(e, i) such that for all e, i ∈ ω, (1) $ {\left( {W_{{f_{1} {\left( {e,i} \right)}}} - W_{{f_{2} {\left( {e,i} \right)}}} } \right)} \leqslant _{{\rm T}} {\left( {W_{e} - W_{i} } \right)}; $ (2) $ {\left( {W_{{g_{1} {\left( {e,i} \right)}}} - W_{{g_{2} {\left( {e,i} \right)}}} } \right)} \leqslant _{{\rm T}} {\left( {W_{e} - W_{i} } \right)}; $ (3) $ {\left( {W_{e} - W_{i} } \right)} \not\leqslant _{{\rm T}} {\left( {W_{{f_{1} {\left( {e,i} \right)}}} - W_{{f_{2} {\left( {e,i} \right)}}} } \right)} \oplus {\left( {W_{{g_{1} {\left( {e,i} \right)}}} - W_{{g_{2} {\left( {e,i} \right)}}} } \right)}; $ (4) $ {\left( {W_{e} - W_{i} } \right)} \not\leqslant _{{\rm T}} {\left( {W_{{f_{1} {\left( {e,i} \right)}}} - W_{{f_{2} {\left( {e,i} \right)}}} } \right)}{\text{unless}}{\left( {W_{e} - W_{i} } \right)} \leqslant _{{\rm T}} {\emptyset};{\text{and}} $ (5) $ {\left( {W_{e} - W_{i} } \right)} \leqslant _{{\rm T}} {\left( {W_{{g_{1} {\left( {e,i} \right)}}} - W_{{g_{2} {\left( {e,i} \right)}}} } \right)}{\text{unless}}{\left( {W_{e} - W_{i} } \right)} \leqslant _{{\rm T}} {\emptyset}. $ It follows that the splitting theorems of Sacks and Cooper cannot be combined uniformly.     

Fuzzy Markov Chains and Decision-Making

Decision-making in an environment of uncertainty and imprecision for real-world problems is a complex task. In this paper it is introduced general finite state fuzzy Markov chains that have a finite convergence to a stationary (may be periodic) solution. The Cesaro average and the -potential for fuzzy Markov chains are defined, then it is shown that the relationship between them corresponds to the Blackwell formula in the classical theory of Markov decision processes. Furthermore, it is pointed out that recurrency does not necessarily imply ergodicity. However, if a fuzzy Markov chain is ergodic, then the rows of its ergodic projection equal the greatest eigen fuzzy set of the transition matrix. Then, the fuzzy Markov chain is shown to be a robust system with respect to small perturbations of the transition matrix, which is not the case for the classical probabilistic Markov chains. Fuzzy Markov decision processes are finally introduced and discussed.     

On Fuzzy Probability Theory

Our main aim from this work is to see which theorems in classical probability theory are still valid in fuzzy probability theory. Following Gudder's approach [Demonestratio Mathematica 31(3), 1998, 235–254; Foundations of Physics, 30, 1663–1678] to fuzzy probability theory, the basic concepts of the theory, that is of fuzzy probability measures and fuzzy random variables (observables), are presented. We show that fuzzy random variables extend the usual ones. Moreover, we prove that for any separable metrizable space, the crisp observables coincide with random variables. Then we prove the existence of a joint observable for any collection of observables, and we prove the weak law of large numbers and the central limit theorem in the fuzzy context. We construct a new definition of almost everywhere convergence. After proving that Gudder's definition implies ours and presenting an example that indicates that the converse is not true, we prove the strong law of large numbers according to this definition.     

Łukasiewicz Tribes are Absolutely Sequentially Closed Bold Algebras

We show that each sequentially continuous (with respect to the pointwise convergence) normed measure on a bold algebra of fuzzy sets (Archimedean MV-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 a characterization of the ukasiewicz tribes as bold algebras absolutely sequentially closed with respect to the extension of probabilities. The result generalizes the relationship between fields of sets and the generated -fields discovered by J. Novák. We introduce the category of bold algebras and sequentially continuous homomorphisms and prove that ukasiewicz tribes form an epireflective subcategory. The restriction to fields of sets yields the epireflective subcategory of -fields of sets.     

统计递归集的Hausdorff测度的上、下界

给出了由随机压缩算子生成的统计递归集的Ｈａｕｓｄｏｒｆ测度上、下界的估计．也就是说,在一些条件下,找出了Ｋ（ω）∩∞ｎ＝１∪ｉ∈Ｎｎ（ω）ｆ（ω）ｎ,ｉ（Ｅ）的α－维Ｈａｕｓｄｏｒｆ测度的上、下界,其中｛ｆｎ,ｉ,１≤ｉ,ｎ＜∞｝是一族随机压缩算子,｛Ｎｎ（ω）,ｎ≥１｝是一族可数的随机指标集．     

Pointwise Hardy inequalities

If is an open set with the sufficiently regular boundary, then the Hardy inequality holds for and , where . The main result of the paper is a pointwise inequality , where on the right hand side there is a kind of maximal function. The pointwise inequality combined with the Hardy-Littlewood maximal theorem implies the Hardy inequality. This generalizes some recent results of Lewis and Wannebo.

     

Nowhere monotone functions and functions of nonmonotonic type

We investigate the relationships between the notions of a continuous function being monotone on no interval, monotone at no point, of monotonic type on no interval, and of monotonic type at no point. In particular, we characterize the set of all points at which a function that has one of the weaker properties fails to have one of the stronger properties. A theorem of Garg about level sets of continuous, nowhere monotone functions is strengthened by placing control on the location in the domain where the level sets are large. It is shown that every continuous function that is of monotonic type on no interval has large intersection with every function in some second category set in each of the spaces , and .