Algebras which represent their linear functionals

Author(s):  
F. F. Bonsall ◽  
A. W. Goldie

This paper was originally intended to contain a generalization of a theorem of Banach on the extension of linear functionals. This generalized theorem now appears as a by-product of a study of a class of algebras which we believe to be of much greater interest than the theorem itself. Let X be a vector space over the real field and let π(x) be a sub-additive, positive-homogeneous functional on X. Banach ((2), pp. 27–9) proves that any real linear functional f on a subspace X0 of X which satisfies f(x) ≤ π(x) on X0 can be extended to a real linear functional F on X with F(x) ≤ π(x) on X. One of the essential differences between this theorem and the Hahn-Banach theorem is that π can take negative values.

Filomat ◽  
2020 ◽  
Vol 34 (9) ◽  
pp. 3031-3043
Author(s):  
O.R. Dehghan

The study of linear functionals, as an important special case of linear transformations, is one of the key topics in linear algebra and plays a significant role in analysis. In this paper we generalize the crucial results from the classical theory and study main properties of linear functionals on hypervector spaces. In this way, we obtain the dual basis of a given basis for a finite-dimensional hypervector space. Moreover, we investigate the relation between linear functionals and subhyperspaces and conclude the dimension of the vector space of all linear functionals over a hypervector space, the dimension of sum of two subhyperspaces and the dimension of the annihilator of a subhyperspace, under special conditions. Also, we show that every superhyperspace is the kernel of a linear functional. Finally, we check out whether every basis for the vector space of all linear functionals over a hypervector space V is the dual of some basis for V.


1951 ◽  
Vol 3 ◽  
pp. 7-22 ◽  
Author(s):  
Edwin Hewitt ◽  
H. S. Zuckerman

The general problem of producing concrete representations for continuous linear functionals on normed linear spaces, ie., of identifying conjugate spaces, has of course attracted the attention of many mathematicians during the last five decades and has been solved in many cases [1, pp. 59-72]. Likewise, the problem of extending a linear functional defined on a linear subspace of a normed linear space may be regarded as solved by the Hahn-Banach theorem [1, p. 28], although problems involving “natural” extensions, like that yielding the Lebesgue integral from the Riemann integral, remain. In the present paper, we shall consider two “natural’ methods of extending a certain linear functional and show that they are in fact identical. As a by-product, we obtain a concrete representation both for the original functional and for its “natural” extension. In subsequent communications, the writers will consider topologies in certain families of linear functionals, canonical resolutions of linear functionals, and other extension problems.


1969 ◽  
Vol 10 (1-2) ◽  
pp. 20-22 ◽  
Author(s):  
Martin Kleiber ◽  
W. J. Pervin

Iseki and Kasahara (see [3]) have given a Hahn-Banach type theorem for semifield-valued linear functionals on real linear spaces. We shall generalize their result by considering linear spaces over semifields.


2020 ◽  
Vol 82 ◽  
pp. 149-160
Author(s):  
N Kargapolova

Numerical models of the heat index time series and spatio-temporal fields can be used for a variety of purposes, from the study of the dynamics of heat waves to projections of the influence of future climate on humans. To conduct these studies one must have efficient numerical models that successfully reproduce key features of the real weather processes. In this study, 2 numerical stochastic models of the spatio-temporal non-Gaussian field of the average daily heat index (ADHI) are considered. The field is simulated on an irregular grid determined by the location of weather stations. The first model is based on the method of the inverse distribution function. The second model is constructed using the normalization method. Real data collected at weather stations located in southern Russia are used to both determine the input parameters and to verify the proposed models. It is shown that the first model reproduces the properties of the real field of the ADHI more precisely compared to the second one, but the numerical implementation of the first model is significantly more time consuming. In the future, it is intended to transform the models presented to a numerical model of the conditional spatio-temporal field of the ADHI defined on a dense spatio-temporal grid and to use the model constructed for the stochastic forecasting of the heat index.


Axioms ◽  
2021 ◽  
Vol 10 (2) ◽  
pp. 107
Author(s):  
Juan Carlos García-Ardila ◽  
Francisco Marcellán

Given a quasi-definite linear functional u in the linear space of polynomials with complex coefficients, let us consider the corresponding sequence of monic orthogonal polynomials (SMOP in short) (Pn)n≥0. For a canonical Christoffel transformation u˜=(x−c)u with SMOP (P˜n)n≥0, we are interested to study the relation between u˜ and u(1)˜, where u(1) is the linear functional for the associated orthogonal polynomials of the first kind (Pn(1))n≥0, and u(1)˜=(x−c)u(1) is its Christoffel transformation. This problem is also studied for canonical Geronimus transformations.


1971 ◽  
Vol 23 (1) ◽  
pp. 12-21
Author(s):  
J. Malzan

If ρ(G) is a finite, real, orthogonal group of matrices acting on the real vector space V, then there is defined [5], by the action of ρ(G), a convex subset of the unit sphere in V called a fundamental region. When the unit sphere is covered by the images under ρ(G) of a fundamental region, we obtain a semi-regular figure.The group-theoretical problem in this kind of geometry is to find when the fundamental region is unique. In this paper we examine the subgroups, ρ(H), of ρ(G) with a view of finding what subspace, W of V consists of vectors held fixed by all the matrices of ρ(H). Any such subspace lies between two copies of a fundamental region and so contributes to a boundary of both. If enough of these boundaries might be found, the fundamental region would be completely described.


2019 ◽  
Vol 27 (1) ◽  
pp. 47-60
Author(s):  
Roland Coghetto

Summary Using Mizar [1], in the context of a real vector space, we introduce the concept of affine ratio of three aligned points (see [5]). It is also equivalent to the notion of “Mesure algèbrique”1, to the opposite of the notion of Teilverhältnis2 or to the opposite of the ordered length-ratio [9]. In the second part, we introduce the classic notion of “cross-ratio” of 4 points aligned in a real vector space. Finally, we show that if the real vector space is the real line, the notion corresponds to the classical notion3 [9]: The cross-ratio of a quadruple of distinct points on the real line with coordinates x1, x2, x3, x4 is given by: $$({x_1},{x_2};{x_3},{x_4}) = {{{x_3} - {x_1}} \over {{x_3} - {x_2}}}.{{{x_4} - {x_2}} \over {{x_4} - {x_1}}}$$ In the Mizar Mathematical Library, the vector spaces were first defined by Kusak, Leonczuk and Muzalewski in the article [6], while the actual real vector space was defined by Trybulec [10] and the complex vector space was defined by Endou [4]. Nakasho and Shidama have developed a solution to explore the notions introduced by different authors4 [7]. The definitions can be directly linked in the HTMLized version of the Mizar library5. The study of the cross-ratio will continue within the framework of the Klein- Beltrami model [2], [3]. For a generalized cross-ratio, see Papadopoulos [8].


Author(s):  
Yuan Lo

The character and status are presented together. Others have to play the role. The real situation is to be presented in a simple way. It can be understood how to adapt yourself to the real field. The role of the actress is to be revealed. Students get real-life education in the artificial environment. Performances of speech and expression are improved.


2014 ◽  
Vol 22 (4) ◽  
pp. 303-311
Author(s):  
Keiko Narita ◽  
Noboru Endou ◽  
Yasunari Shidama

Summary In this article, we considered bidual spaces and reflexivity of real normed spaces. At first we proved some corollaries applying Hahn-Banach theorem and showed related theorems. In the second section, we proved the norm of dual spaces and defined the natural mapping, from real normed spaces to bidual spaces. We also proved some properties of this mapping. Next, we defined real normed space of R, real number spaces as real normed spaces and proved related theorems. We can regard linear functionals as linear operators by this definition. Accordingly we proved Uniform Boundedness Theorem for linear functionals using the theorem (5) from [21]. Finally, we defined reflexivity of real normed spaces and proved some theorems about isomorphism of linear operators. Using them, we proved some properties about reflexivity. These formalizations are based on [19], [20], [8] and [1].


Sign in / Sign up

Export Citation Format

Share Document