Search results for "9(39)"

About Quotient Orders and Ordering Sequences

2017

Summary In preparation for the formalization in Mizar [4] of lotteries as given in [14], this article closes some gaps in the Mizar Mathematical Library (MML) regarding relational structures. The quotient order is introduced by the equivalence relation identifying two elements x, y of a preorder as equivalent if x ⩽ y and y ⩽ x. This concept is known (see e.g. chapter 5 of [19]) and was first introduced into the MML in [13] and that work is incorporated here. Furthermore given a set A, partition D of A and a finite-support function f : A → ℝ, a function Σ f : D → ℝ, Σ f (X)= ∑ x∈X f(x) can be defined as some kind of natural “restriction” from f to D. The first main result of this article ca…

Derivations of quasi *-algebras

2004

The spatiality of derivations of quasi*-algebras is investigated by means of representation theory. Moreover, in view of physical applications, the spatiality of the limit of a family of spatial derivations is considered.

Extended Natural Numbers and Counters

2020

Summary This article introduces extended natural numbers, i.e. the set ℕ ∪ {+∞}, in Mizar [4], [3] and formalizes a way to list a cardinal numbers of cardinals. Both concepts have applications in graph theory.

Nonlinear nonhomogeneous Neumann eigenvalue problems

2015

We consider a nonlinear parametric Neumann problem driven by a nonhomogeneous differential operator with a reaction which is $(p-1)$-superlinear near $\pm\infty$ and exhibits concave terms near zero. We show that for all small values of the parameter, the problem has at least five solutions, four of constant sign and the fifth nodal. We also show the existence of extremal constant sign solutions.

Cualquier obra de arte por insignificante que parezca puede tener un valor incalculable -- Pueblo -- las obras de arte te pertenecen: respétalas. La …

Fotografia d'una talla de Verge amb nen i al seu voltant la llegenda

Pueblo, antes de destruir cualquier objeto cuyo valor desconoces, infórmate -- . Puede muy bien ser un objeto de arte y al destruirlo destruyes tu pr…

Sobre el fons blau del cartell, una estrella blanca de cinc puntes i diversos objectes artístics

Ayuda a la conservación del Patrimonio Artístico Nacional Las Juntas del Tesoro Artístico recogen y conservan los objetos artísticos para los Museos …

En el centre la imatge d'un relleu compost per una parella de joves amb vestidura clàssica i un angelet damunt

Obreros de hoy respetad la labor de nuestros compañeros de ayer La Junta del Tesoro Artístico recibe y protege las obras de arte para los Museos Naci…

Fotografia de part d'una portada romànica i la llegenda en l'angle superior esquerre i inferior dret

México en España Exposición de Artes Plásticas Mexicanas : Cien años de arte revolucionario en el Ateneo Popular Valenciano ... Actos patrocinados po…

Reproducció de dos gravats situats en els angles superior dret i inferior esquerre, units entre si per una línia blanca, i entre ells la llegenda. En la imatge superior es reproduïx una pedra d'afilar amb una creu gammada en el centre, i quatre homes que la mouen, dos d'aquests són les caricatures d'Hitler i Mussolini. La imatge de baix reproduïx una matança de camperols mexicans

Topological Dual Systems for Spaces of Vector Measure p-Integrable Functions

2016

[EN] We show a Dvoretzky-Rogers type theorem for the adapted version of the q-summing operators to the topology of the convergence of the vector valued integrals on Banach function spaces. In the pursuit of this objective we prove that the mere summability of the identity map does not guarantee that the space has to be finite dimensional, contrary to the classical case. Some local compactness assumptions on the unit balls are required. Our results open the door to new convergence theorems and tools regarding summability of series of integrable functions and approximation in function spaces, since we may find infinite dimensional spaces in which convergence of the integrals, our vector value…