Search results for " set"
showing 10 items of 2095 documents
The generalised type-theoretic interpretation of constructive set theory
2006
We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-Löf type theory. The generalisation involves replacing Martin-Löf type theory with a new type theory in which logic is treated as primitive instead of being formulated via the propositions-as-types representation. The original interpretation treated logic in Martin-Löf type theory via the propositions-as-types interpretation. The generalisation involves replacing Martin-Löf type theory with a new type theory in which logic is treated as primitive. The primitive treatment of logic in type theories allows us to study reinterpretations of logic, such as the double-negation translation.
Extremal problems of approximation theory in fuzzy context
1999
Abstract The problem of approximation of a fuzzy subset of a normed space is considered. We study the error of approximation, which in this case is characterized by an L -fuzzy number. In order to do this we define the supremum of an L -fuzzy set of real numbers as well as the supremum and the infimum of a crisp set of L -fuzzy numbers. The introduced concepts allow us to investigate the best approximation and the optimal linear approximation. In particular, we consider approximation of a fuzzy subset in the space L p m of differentiable functions in the L q -metric. We prove the fuzzy counterparts of duality theorems, which in crisp case allows effectively to solve extremal problems of the…
Restricted Uniform Boundedness in Banach Spaces
2009
Precise conditions for a subset A of a Banach space X are known in order that pointwise bounded on A sequences of bounded linear functionals on X are uniformly bounded. In this paper, we study such conditions under the extra assumption that the functionals belong to a given linear subspace Γ of X *. When Γ = X *, these conditions are known to be the same ones assuring a bounded linear operator into X , having A in its image, to be onto. We prove that, for A , deciding uniform boundedness of sequences in Γ is the same property as deciding surjectivity for certain classes of operators. Keywords: Uniform boundedness; thick set; boundedness deciding set Quaestiones Mathematicae 32(2…
On some parameters related to weak noncompactness in L1(μ,E)
2009
Abstract A weak measure of noncompactness γU is defined in a Banach space in terms of convex compactness. We obtain relationships between the measure γU (A) of a bounded set A in the Bochner space L1 (μ,E) and two parameters Π(A) and Δ1(A). Then the criterion for relative weak compactness due to Ulger [19] and Diestel-Ruess-Schachermayer [11] is recovered.
Every triangle-free induced subgraph of the triangular lattice is(5m,2m)-choosable
2014
A graph G is (a,b)-choosable if for any color list of size a associated with each vertex, one can choose a subset of b colors such that adjacent vertices are colored with disjoint color sets. This paper proves that for any integer m>=1, every finite triangle-free induced subgraph of the triangular lattice is (5m,2m)-choosable.
Ordering and Convex Polyominoes
2005
We introduce a partial order on pictures (matrices), denoted by ≼ that extends to two dimensions the subword ordering on words. We investigate properties of special families of discrete sets (corresponding to {0,1}-matrices) with respect to this partial order. In particular we consider the families of polyominoes and convex polyominoes and the family, recently introduced by the authors, of L-convex polyominoes. In the first part of the paper we study the closure properties of such families with respect to the order. In particular we obtain a new characterization of L-convex polyominoes: a discrete set P is a L-convex polyomino if and only if all the elements Q≼P are polyominoes. In the seco…
A Mönch type fixed point theorem under the interior condition
2009
Abstract In this paper we show that the well-known Monch fixed point theorem for non-self mappings remains valid if we replace the Leray–Schauder boundary condition by the interior condition. As a consequence, we obtain a partial generalization of Petryshyn's result for nonexpansive mappings.
On the structure of the ultradistributions of Beurling type
2008
Let O be a nonempty open set of the k-dimensional euclidean space Rk. In this paper, we give a structure theorem on the ultradistributions of Beurling type in O. Also, other structure results on certain ultradistributions are obtained, in terms of complex Borel measures in O.
Shrinking and boundedly complete Schauder frames in Fréchet spaces
2014
We study Schauder frames in Fréchet spaces and their duals, as well as perturbation results. We define shrinking and boundedly complete Schauder frames on a locally convex space, study the duality of these two concepts and their relation with the reflexivity of the space. We characterize when an unconditional Schauder frame is shrinking or boundedly complete in terms of properties of the space. Several examples of concrete Schauder frames in function spaces are also presented.
On another approach to the definition of an L-fuzzy valued integral
2011
We continue to develop a construction of an L-fuzzy valued measure extending a crisp measure defined on a σ-algebra of crisp sets to an L-fuzzy valued measure defined on a T M -tribe. We describe two equivalent approaches to define an L-fuzzy valued integral of non-negative measurable functions.