Random fixed points of K-set- and pseudo-contractive random maps

Let $\text{(Ω,Σ)}$ be a measurable space, X and Y separable Banach spaces, and C a weakly compact subset of X. Let $\text{f}\text{:}\text{Ω×C→Y}$ and $\text{T}\text{:}\text{Ω×C→Y}$ be continuous random operators. Then the deterministic solvability of the equation$\text{f(ω,x)−T(ω,x)=0}\text{(ω∈Ω,x∈C)}$implies the stochastic solvability of it provided that (f−T)(ω,.) is demiclosed at zero and T(ω,C) is bounded for each $\text{ω∈Ω}$. As applications, random fixed points of various types of pseudo-contractive and k-set-contractive random operators are obtained.     

Modal Extensions of Sub-classical Logics for Recovering Classical Logic

In this paper we introduce non-normal modal extensions of the sub-classical logics CLoN, CluN and CLaN, in the same way that S0.5 ⁰ extends classical logic. The first modal system is both paraconsistent and paracomplete, while the second one is paraconsistent and the third is paracomplete. Despite being non-normal, these systems are sound and complete for a suitable Kripke semantics. We also show that these systems are appropriate for interpreting □ as “is provable in classical logic”. This allows us to recover the theorems of propositional classical logic within three sub-classical modal systems.     

F-mixing and weak disjointness

A topological system (X,f) is $\text{F}$-transitive if for each pair of opene subsets U and V of X, $\text{N}{}_{\mathrm{f}}\text{(U,V)={n∈}\text{Z}{}_{\mathrm{+}}\text{:}\text{f}{}^{\mathrm{n}}\text{U∩V≠∅}∈}\text{F}$, where $\text{F}$ is a collection of subsets of $\text{Z}{}_{\mathrm{+}}$ which is hereditary upward. (X,f) is $\text{F}$-mixing if (X×X,f×f) is $\text{F}$-transitive. In this paper $\text{F}$-mixing systems are characterized in terms of the chaoticity of the systems. Moreover, weak disjointness is studied via family. We will give conditions such that a dual theorem of the Weiss–Akin–Glasner theorem holds. Examples with this dual theorem fails for some “good” families are obtained.     

The modal logic of continuous functions on cantor space

Let be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as ‘next’. We extend the topological semantic for S4 to a semantics for the language by interpreting in dynamic topological systems, i.e. ordered pairs , where X is a topological space and f is a continuous function on X. Artemov, Davoren and Nerode have axiomatized a logic S4C, and have shown that S4C is sound and complete for this semantics. Zhang and Mints have shown that S4C is complete relative to a particular topological space, Cantor space. The current paper produces an alternate proof of the Zhang-Mints result.     

On the dynamics of composition of commuting interval maps

Let be two commuting continuous maps. We establish some results on the topological dynamic shared by both maps and state some conditions to get that the topological entropy of the composition f○g will be positive.     

A class of extension properties that are not simply generated

Let $\text{P}$ be a closed-hereditary topological property preserved by products. Call a space $\text{P}$-regular if it is homeomorphic to a subspace of a product of spaces with $\text{P}$. Suppose that each $\text{P}$-regular space possesses a $\text{P}$-regular compactification. It is well-known that each $\text{P}$-regular space X is densely embedded in a unique space γ_scPX with $\text{P}$ such that if f: X → Y is continuous and Y has $\text{P}$, then f extends continuously to γ_scPX. Call $\text{P}$-pseudocompact if γ_scPX is compact.Associated with $\text{P}$ is another topological property $\text{P}$^#, possessing all the properties hypothesized for $\text{P}$ above, defined as follows: a $\text{P}$-regular space X has $\text{P}$^# if each $\text{P}$-pseudocompact closed subspace of X is compact. It is known that the $\text{P}$-pseudocompact spaces coincide with the $\text{P}$^#-pseudocompact spaces, and that $\text{P}$^# is the largest closed-hereditary, productive property for which this is the case. In this paper we prove that if $\text{P}$ is not the property of being compact and $\text{P}$-regular, then $\text{P}$^# is not simply generated; in other words, there does not exist a space E such that the spaces with $\text{P}$^# are precisely those spaces homeomorphic to closed subspaces of powers of E.     

The modal logic of continuous functions on the rational numbers

Let L^\square°{{\mathcal L}^{\square\circ}} be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality □ and a temporal modality ◦, understood as ‘next’. We extend the topological semantic for S4 to a semantics for the language L^\square°{{\mathcal L}^{\square\circ}} by interpreting L^\square°{{\mathcal L}^{\square\circ}} in dynamic topological systems, i.e., ordered pairs 〈X, f〉, where X is a topological space and f is a continuous function on X. Artemov, Davoren and Nerode have axiomatized a logic S4C, and have shown that S4C is sound and complete for this semantics. S4C is also complete for continuous functions on Cantor space (Mints and Zhang, Kremer), and on the real plane (Fernández Duque); but incomplete for continuous functions on the real line (Kremer and Mints, Slavnov). Here we show that S4C is complete for continuous functions on the rational numbers.     

On D-Paracompact spaces

Following Pareek a topological space X is called D-paracompact if for every open cover $\text{A}$ of X there exists a continuous mapping f from X onto a developable T₁-space Y and an open cover $\text{B}$ of Y such that { f^-1[B]|B ∈ $\text{B}$ } refines $\text{A}$. It is shown that a space is D-paracompact if and only if it is subparacompact and D-expandable. Moreover, it is proved that D-paracompactness coincides with a covering property, called dissectability, which was introduced by the author in order to obtain a base characterization of developable spaces.     

An extension of Brouwer's fixed point theorem allowing discontinuities

In this article, we extend Brouwer's fixed point theorem – which states that every continuous mapping $\text{f}\text{:B→B}$ (a closed ball of $\text{R}{}^{\mathrm{n}}$) must have a fixed point – by allowing discontinuities of f, and we apply this extension to equilibrium theory in Economics. To cite this article: P. Bich, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Upper semicontinuous fuzzy sets and applications

Let (X, τ) be a generalized topological space of type $\text{V}$_α (see A. Appert and K. Fan, “Espaces topologiques intermédiares,” Herman, Paris, 1951) and (L, ?) be a complete Brouwerian lattice such that the dual lattice of (L, ?) is also Brouwerian. We prove that every upper semicontinuous L-fuzzy subset of X can be represented by a τ-closed random set. As an important application we obtain a fuzzification of measurable spaces as well as of topological spaces. In particular a concept of measurable (open) L-fuzzy sets is developed.     

Uniqueness of the blow-up boundary solution of logistic equations with absorbtion

Let $\text{Ω}$ be a smooth bounded domain in $\text{R}{}^{\mathrm{N}}$. Assume f∈C¹[0,∞) is a non-negative function such that f(u)/u is increasing on (0,∞). Let a be a real number and let b?0, $\text{b}\text{/≡0}$ be a continuous function such that b≡0 on $\text{?Ω}$. We study the logistic equation Δu+au=b(x)f(u) in $\text{Ω}$. The special feature of this work is the uniqueness of positive solutions blowing-up on $\text{?Ω}$, in a general setting that arises in probability theory. To cite this article: F.-C. C??rstea, V. R?dulescu, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 447–452.