Tensors Associated with Mean Quadratic Differences Explaining the Riskiness of Portfolios of Financial Assets

: Bound choices such as portfolio choices are studied in an aggregate fashion using an extension of the notion of barycenter of masses. This paper answers the question of whether such an extension is a natural fashion of studying bound choices or not. Given n risky assets, the question of why it is appropriate to treat only two risky assets at a time inside the budget set of the decision-maker is handled in this paper. Two risky assets are two goods. They are two marginal goods. The question of why they always give rise to a joint good inside the budget set of the decision-maker is addressed by this research work. A single risky asset is viewed as a double one using four nonparametric joint distributions of probability. The variability of a joint distribution of probability always depends on the state of information and knowledge associated with a given decision-maker. For this reason, two variability tensors are deﬁned to identify the riskiness of the same risky asset. A multilinear version of the Sharpe ratio is shown. It is based on tensors. After computing the expected return on an n -risky asset portfolio, its riskiness is obtained using mean quadratic differences developed through tensors.


Introduction
In this paper, bound choices such as portfolio choices are studied without adding new axiomatic constructions or using known ones.Previous studies tend to add or use such formalistically abstract constructions (Echenique 2020;Chambers et al. 2017;Nishimura et al. 2017).Such constructions are exact (Halevy et al. 2018).Nevertheless, in our opinion, they are empty, and this characteristic is perhaps inevitable.Conversely, we propose an approach of an operational nature based on metric measures (choices being made by a given decision-maker and expressed by means of specific measures put forward by Corrado Gini are dealt with by Wang et al. (2018)).The advantages of this approach are essentially two.First, such measures indicating rational choices can be introduced without a problem.This is because they comply with any reasonable axiomatic construction (Cassese et al. 2020).Second, such measures are in accordance with one of the fundamental needs of science, which must work with notions of ascertained validity in a pragmatic sense.In our opinion, science must not take combinations of axioms as indefectible concepts, but it must be based on actual experiences, which are at least conceptually possible.Such experiences are subjected to a measure.A remarkable point of this research work is the following.Such a point is connected with how a measure can be obtained.In our opinion, bound choices must be studied under conditions of uncertainty and riskiness (Angelini and Maturo 2021b).They are real and unavoidable conditions (Chudjakow and Riedel 2013;Machina 1987).It follows that we focus on the notion of probability and its properties.This notion is intrinsically subjective (Pfanzagl 1967).A theorem enunciating the notion of utility to be a metric measure is shown by us.Hence, prevision (probability) and utility are two metric of decision-maker choice are explicitly bilinear and disaggregate measures (an analysis based on the two-good assumption is made by Cherchye et al. (2018)).Hence, there exists a one-to-one correspondence between two-dimensional points of the budget set of the decision-maker and bilinear and disaggregate measures.Each measure is decomposed into two linear measures.Each of them is a one-dimensional point.We establish the following: Definition 1.Given two nonrandom goods with downward-sloping demand curves, that which is demanded for each of them under claimed conditions of certainty by a given decision-maker is an average quantity.We write x 1 = x 1 1 p 1 1 + . . .+ x m 1 p m 1 (1) where { p i 1 } and { p j 2 } are two sets of m nonnegative masses.Their sum is always equal to 1 with regard to each of them.Each mass of them is always between 0 and 1, endpoints included.The possible quantities which can be demanded for good 1 are expressed by {x 1 1 , . . ., x m 1 }, whereas the possible quantities which can be demanded for good 2 are given by {x 1 2 , . . ., x m 2 }.
The possible quantities which can be demanded for good 1 and good 2 are pure numbers.They are possible events.Their nature is objective.They are not directly observed, but they are estimated.What is directly observed is given by (x 1 , x 2 ).The possible quantities which can be demanded for good 1 and good 2 are the components of two vectors of E m , where E m is an m-dimensional linear space over R with a Euclidean structure.Given an orthonormal basis of E m , any vector whatsoever of E m is always expressed as a linear combination of basis vectors.The real coefficients of this linear combination are its components.One and only one set of components of a vector of E m uniquely identifies it.In this paper, good 1 and good 2 are jointly considered, so the weighted average of m 2 possible quantities which can be demanded for good 1 and good 2 is also studied.Such quantities are obtained by taking the Cartesian product given by {x 1 1 , . . ., x m 1 } × {x 1 2 , . . ., x m 2 } into account.Such quantities are the components of an affine tensor.The notion of event is always subdivisible, so m 2 possible alternatives can be studied.This means that a nonparametric joint distribution of probability is dealt with 2 .Every weighted average of m possible quantities which can be demanded for good 1 and good 2 is always found between the lowest possible quantity and the highest possible one (the rationality of the behaviors associated with decision-makers viewed to be as consumers is dealt with by Varian (1983)).The same is true regarding m × m = m 2 possible quantities (that which is demanded by a given decision-maker being faced with his or her budget constraint is studied by Varian (1982)).All coherent weighted averages of m 2 possible alternatives identify a two-dimensional convex set.It is a continuous subset of R × R. It is the budget set of the decision-maker.Two one-dimensional convex sets coinciding with two closed line segments appear as well.They belong to two mutually orthogonal axes of a two-dimensional Cartesian coordinate system.Strictly speaking, we deal with two half-lines, where each of them extends indefinitely from zero toward positive real numbers before being restricted.At the first stage, all coherent weighted averages of m 2 possible alternatives are handled.Their number is infinite.All coherent weighted averages of m possible alternatives for good 1 and good 2 are also dealt with.Their number is infinite.At a second stage, (x 1 , x 2 ) is chosen.This choice depends on further hypotheses of an empirical nature.Boundary points that are found on each axis of a two-dimensional Cartesian coordinate system identify degenerate averages 3 .The budget line identifying the budget set of the decision-maker is a hyperplane embedded in a two-dimensional Cartesian coordinate system.Its negative slope depends on the prices of good 1 and good 2. We write .A specific pair of known and objective prices is denoted by (b 1 , b 2 ), whereas the objective amount of money the decision-maker has to spend is expressed by b.Conditions of certainty are fictitious.This is because actual situations are uncertain.In particular, variations in the total amount of money the decision-maker has to spend could happen.Also, risks of external origin determining variations in his or her income could occur as well.This means that if (b 1 , b 2 , b) represents the decision-maker budget, then b must be assumed of an uncertain nature at the time of choice.The same b can appear even when the state of information and knowledge associated with a given decision-maker is assumed to have become complete later.On the other hand, if there is no ignorance anymore because further information is later acquired, then it is also possible to observe a parallel shift outward or inward of the budget line.Given (x 1 , x 2 ), the weighted average of m 2 possible alternatives is a summarized element of the Fréchet class.According to our approach, the decision-maker also chooses this summarized element in addition to (x 1 , x 2 ) 4 .
We establish the following: Definition 2. The set of all weighted averages of m 2 possible alternatives, with the same given marginal weighted averages of m possible quantities which can be demanded for good 1 and m possible quantities which can be demanded for good 2, constitutes the Fréchet class.
We note the following: Remark 1.The possible quantities which can be demanded for each nonrandom good taken into account are possible points (pure numbers) belonging to sets whose elements are finite in number.By definition, a hyperplane embedded in a two-dimensional Cartesian coordinate system never separates a coherent summary of possible points from their sets.In other terms, the budget line never separates (x 1 , x 2 ) from {x 1 1 , . . ., x m 1 }, {x 1 2 , . . ., x m 2 }, and {x 1 1 , . . ., x m 1 } × {x 1 2 , . . ., x m 2 }.This characterizes the points of the convex set.The budget set of the decision-maker is a convex set.

A Random Good: Logical and Probabilistic Aspects
Assets are goods that provide a flow of services over time.A flow of consumption services can be provided by assets.A flow of money that can be used to purchase consumption can also be provided by assets.Financial assets provide a monetary flow.For instance, the flow of services provided by financial assets can be the flow of interest payments.In this paper, we focus on the future return provided by financial assets under conditions of uncertainty and riskiness.This future or expected return must be estimated by a given individual with respect to observed returns in the past.One of the observed returns can be the actual return.Financial assets such as risky assets are studied under conditions of uncertainty and riskiness.They are random goods.A random good is a random quantity 5 viewed as a specification of what will be chosen in each different outcome of a random process.The different outcomes of a random process are different random events.A random good is intrinsically characterized by a nonparametric probability distribution consisting of a list of different outcomes and the probability associated with each outcome (Gilio and Sanfilippo (2014)).The decision-maker chooses a nonparametric probability distribution of obtaining different random events.We establish the following: Definition 3. Let id R : R → R be the identity function on R, where R is a linear space over itself.Given m incompatible and exhaustive events, a random good denoted by X is the restriction of id R to I(X) = {x 1 , x 2 , . . ., x m } ⊂ R such that we write id R|I(X) : I(X) → R.
A random good is nothing but a random variable X on a sample space denoted by Ω.It is a function from Ω into the set R of real numbers such that the pre-image of any interval of R is an event in Ω.Our intervals are: [x 1 , x 1 ], . . ., [x m , x m ].The points in Ω are real numbers only.Given an orthonormal basis of E m , a random good is represented by a vector whose contravariant components coincide with the elements of I(X) = Ω before transferring them on a one-dimensional straight line, on which an origin, a unit of length, and an orientation are established.We write with x 1 < x 2 < . . .< x m without loss of generality.It is clear that we have inf I(X) = x 1 and sup I(X) = x m .A located vector at the origin of E m is completely established by its endpoint.An ordered m-tuple of real numbers can be either a point of an affine space denoted by E m or a vector of E m .Accordingly, E m and E m are isomorphic.Each event is generically denoted by E i , i = 1, . . ., m.We write where we have for every i = 1, . . ., m. Regarding a given set of information and knowledge, we consider the finest possible partition of X into elementary events.The nature of this partition is always relative, arbitrary, and temporary.That alternative which will turn out to be verified a posteriori is nothing but a random point contained in I(X) (von Neumann 1936).This point contained in I(X) is a real number.It expresses everything there is to be said whenever uncertainty ceases.Each possible value for X could uniquely be expressed by where a ∈ R is an arbitrary constant.We consider infinite changes of origin in this way (Angelini and Maturo 2021a).
We deal with ordered m-tuples of real numbers (that which is objectively possible is dealt with by Coletti et al. (2016)).All possible values for X are uncertain, so it makes sense that the decision-maker attributes to each of them a probability.I(X) with the assignment of probabilities is a probability space denoted by (Ω, F, P).The set of all possible outcomes is denoted by Ω.This set is embedded in a larger space with a linear structure.We write F = {∅, Ω} to denote a set of events 6 , whereas P is a function of probability or prevision defined as an expression of the subjective opinion of a given decision-maker 7 .We think of probability as being a mass.It is always a nonnegative and additive function.Its value is equal to 1 on the whole space of the possible values for the random good taken into account.The notion of probability is not undefined within this context (Anscombe and Aumann 1963).It is the degree of belief in the occurrence of a single event attributed by a given decision-maker at a given instant and with a given set of information and knowledge (Schmeidler 1989).Uncertainty about an event depends on the existence of imperfect information and knowledge by the decision-maker (Capotorti et al. 2014).We speak about uncertainty in the simple sense of ignorance (Jurado et al. 2015).Uncertainty consists of two different aspects.Possibility and probability are the two aspects of it.In this paper, they are studied inside linear spaces over R. Possibility and probability are expressed by two vectors of E m used to obtain P(X), where P(X) is viewed to be as a scalar or inner product written in the form We write to denote what is objectively possible, whereas we write p = (p 1 , p 2 , . . ., p m ) to denote what is subjectively probable.Since we have with 0 ≤ p i ≤ 1, i = 1, . . ., m, all those evaluations such that (11) holds are coherent.
Their number is equal to ∞ m−1 .Given x 1 , x 2 , . . ., x m , a random process consists of ∞ m−1 possible choices of masses such that a weighted average of m values given by x 1 , x 2 , . . ., x m takes place.If X is viewed to be as a vector of E m , then it is a linear combination of m incompatible and exhaustive events expressed by where B m = {e i }, i = 1, . . ., m, is an orthonormal basis of E m .Regarding B m , we write If the Einstein summation convention is used, then it gives x = x i e i .( 14)

The Objectives of the Paper
All the objectives of this paper are innovative.Bound choices are based on possible alternatives.Every choice is a barycenter of masses distributed over a finite set of possible alternatives.The latter is embedded in a larger and more manageable space.Regarding choices being made under conditions of uncertainty and riskiness, possible alternatives are not estimated, but they are observed.What is chosen by a given decision-maker inside his or her budget set coincides with a coherent summary of a nonparametric joint distribution of mass.This summary is a bilinear measure.It is always decomposed into two linear measures.The budget set of the decision-maker consists of points such that each point of it has two Cartesian coordinates.Each of them is a summary of a nonparametric marginal distribution of mass related to a marginal good.Given the two marginal distributions of mass, all possible joint distributions of mass constitute the Fréchet class.We admit that it is useful to compare a concrete (nonparametric) probability distribution with a model which is not a continuous function such as the density function of a continuous random variable, but it is itself a distribution of mass.The latter is characterized by probabilities that are finitely but not countably additive.All possible joint distributions of mass are summarized by a given decision-maker.He or she chooses one of these summaries according to his or her variable state of information and knowledge.He or she can choose a coherent summary such that there is no linear correlation between good 1 and good 2.He or she could also choose a coherent summary such that there is an inverse or direct linear relationship between good 1 and good 2. Regarding the Fréchet class, two extreme limit cases together with an intermediate case are accordingly taken into account.They are paradigmatic cases.Each of them identifies the above model.If good 1 and good 2 are two risky assets, then it is methodologically possible to validate that the notion of risk is intrinsically subjective.We develop the notion of mean quadratic difference put forward by Corrado Gini.We develop it via a tensorial approach.The variability of a distribution of mass always depends on how the decision-maker estimates all the masses under consideration.It follows that the origin of this variability is not random within this context.It is not standardized because the decision-maker makes explicit, from time to time, the knowledge hypothesis underlying it.The origin of the variability of a distribution of mass is not connected with the theory of measurement errors, where such errors are random.Regarding the Sharpe ratio, after computing the expected return on an n-risky asset portfolio, its riskiness is obtained using the notion of mean quadratic difference.The decision-maker always maximizes his or her subjective utility connected with average quantities.In this paper, the notion of utility is a metric measure as well.What is said in this paper can be extended.Multilinear relationships between variables are discovered and handled, so an extension of the leastsquares model can be made.In economics, it is frequent that there is one-way causation in the sense that given variables influence another variable, but there is no feedback in the opposite direction.This means that a specific variable does not influence other variables.Conversely, all the multilinear indices we propose in this paper allow the studying of relationships between variables in such a way that there is a two-way causation.Hence, it is possible to study variables influencing each other.
In Section 2 of the paper, antisymmetric tensors identifying multilinear indices are handled.In Section 3, risky assets viewed to be as random goods are studied.In Section 4, analytic conditions allowing the studying of a single risky asset as a double one are developed.Section 5 shows a variability tensor.Section 6 shows another variability tensor.In Section 7, a multilinear approach to the Sharpe ratio is dealt with.In Section 8, future perspectives of our research are outlined after discussing the main results contained in the paper.Two random goods which are jointly considered inside the budget set of the decisionmaker can be handled through the same framework characterizing bound choices being made by him or her under claimed conditions of certainty (portfolio choices with transient price impact are studied by Ekren and Muhle-Karbe ( 2019)).Given two marginal random goods denoted by 1 X and 2 X, the number of the possible values for each of them is first equal to m. 1 X and 2 X are linearly independent.Hence, we consider two mutually orthogonal axes of a two-dimensional Cartesian coordinate system, on which an origin, the same unit of length, and an orientation are established.The possible values for each random good taken into account are transferred on a one-dimensional straight line.Thus, we do not consider an m-dimensional point, but we deal with m one-dimensional points on a one-dimensional straight line.We pass from E m to a linear space over R with its dimension which is equal to 1.There exists a one-to-one correspondence between a one-dimensional linear subspace of E m and a one-dimensional straight line, on which an origin, a unit of length, and an orientation are chosen.A one-dimensional linear subspace of E m contains all collinear vectors 8 regarding one of the two vectors belonging to E m .Its contravariant components coincide with the possible values for a marginal good.Two one-dimensional linear subspaces of E m are dealt with.These subspaces identify two one-dimensional straight lines, on which an origin, the same unit of length, and an orientation are chosen.They establish the budget set of the decision-maker.They establish an uncountable subset of the direct product of R and R denoted by R × R. Its dimension is equal to 2. All the m 2 possible values for two random goods which are jointly considered give rise to 1 X 2 X.All the m 2 possible values for 1 X 2 X identify, together with m 2 probabilities, P( 1 X 2 X).If P( 1 X 2 X) is bilinear, where P stands for prevision or mathematical expectation of a joint random good denoted by 1 X 2 X, then P( 1 X) and P( 2 X) are linear.We write P( 1 X 2 X) ≡ (P( 1 X), P( 2 X)) because we deal with a bilinear measure coinciding with a two-dimensional point.If P is linear, then 1 X must always be a random good with its possible values which are all nonnegative.The same is true by considering the possible values for 2 X on the vertical axis.If P is linear, then it is first additive and convex.

Two Random Goods That
Given two random goods, P( 1 X) and P( 2 X) tell us how much the decision-maker is choosing to demand for one of the two random goods taken into account and how much he or she is choosing to demand for the other.His or her budget set is established by the negative slope of the budget line coinciding with a hyperplane embedded in a two-dimensional Cartesian coordinate system.His or her budget set is also established by the two mutually orthogonal axes taken into account.In particular, we consider two halflines.His or her budget set is accordingly a right triangle belonging to the first quadrant of a two-dimensional Cartesian coordinate system.The vertex of the right angle of the triangle taken into account coincides with the point given by (0, 0). 1 X, 2 X, and 1 X 2 X are first discrete goods.They are studied as continuous goods when and only when all their coherent previsions are taken into account at the first stage.The budget line is an equation of a linear function expressed in an implicit form.The prices of the prevision bundle 9 denoted by P( 1 X 2 X) ≡ (P( 1 X), P( 2 X)) are formally two constants of the straight line expressed in an implicit form such that their ratio gives its slope.The budget constraint of the decision-maker requires that the amount of money spent on the two random goods be no more than the total amount he or she has to spend.The budget constraint derives from It is written in the form where (c 1 , c 2 ) are the objective prices of the two random goods, whereas the objective amount of money the decision-maker has to spend is equal to c. Please note that c 1 , c 2 , and c are positive real numbers.The slope of the budget line expressed by is given by The budget line can always be drawn.It is possible to establish its horizontal and vertical intercepts every time.This means that we pass from m to m + .The second one is found between zero, expressed by (0, 0), and the vertical intercept of it given by c c 2 .The third two-dimensional convex set is given by all the points that are found inside the plane region bounded by the right triangle.Please note that (17) always passes through the point whose coordinates are given by sup If the budget line changes its negative slope, then the budget set of the decision-maker changes.He or she chooses a point belonging to his or her changed budget set.His or her state of information and knowledge changes.It is clear that ( 16) is analogous to (3).We pass from E m+1 to a linear space over R with its dimension which is equal to 1.There exists a one-to-one correspondence between a one-dimensional linear subspace of E m+1 and a one-dimensional straight line, on which an origin, a unit of length, and an orientation are chosen.Two one-dimensional linear subspaces of E m+1 are dealt with.These subspaces identify two one-dimensional straight lines, on which an origin, the same unit of length, and an orientation are chosen.They establish the budget set of the decision-maker.The decision-maker's choice functions for the two marginal random goods under consideration are expressed by and where P is additive and convex as a consequence of its coherence.We note the following: Remark 2. The decision-maker estimates both marginal masses associated with 1 X and 2 X and the joint ones associated with 1 X 2 X.Marginal masses associated with 1 X and 2 X give rise to P( 1 X) and P( 2 X).Given (P( 1 X), P( 2 X)), a bilinear and disaggregate measure coinciding with P( 1 X 2 X) is a summarized element of the Fréchet class.Given (P( 1 X), P( 2 X)), the decision-maker also chooses a summarized element of the Fréchet class such that P( 1 X) and P( 2 X) never change.This element is obtained using the notion of α-product outside the budget set of the decision-maker.
A remarkable point of this paper is the following.The decision-maker can choose a coherent summary of a joint distribution of mass identifying a summarized element of the Fréchet class such that there is no linear correlation between random good 1 and random good 2, so they are stochastically independent.Given the same marginal masses, 1 X and 2 X are stochastically independent if each joint mass in a joint distribution is the product of its corresponding marginal masses.In particular, if 1 X and 2 X are two risky assets, then the decision-maker is risk neutral.He or she could also choose a coherent summary of a joint distribution of mass such that there is an inverse or direct linear relationship between 1 X and 2 X.This means that the decision-maker is, respectively, risk averse or risk loving.In fact, given the same marginal masses, an aggregation of joint masses such that 1 X tends to increase when 2 X increases shows a direct linear relationship between 1 X and 2 X.Conversely, given the same marginal masses, an aggregation of joint masses such that 1 X tends to decrease when 2 X increases shows an inverse linear relationship between 1 X and 2 X.Regarding the Fréchet class, two extreme limit cases together with an intermediate case are dealt with.They are paradigmatic cases.

Two Jointly Considered Random Goods Depending on the Notion of Ordered Pair and Their α-Product
Two marginal random goods denoted by 1 X and 2 X always give rise to a joint random good denoted by 1 X 2 X.All its possible values are obtained by considering the Cartesian product of the possible values for 1 X and 2 X.The horizontal and vertical intercepts must be added to I( 1 X) and I( 2 X), respectively.We write with the contravariant components of two (m + 1)-dimensional vectors uniquely expressed as linear combinations of m + 1 basis vectors of E m+1 .We put Another remarkable point of this paper is that the notion of ordinal utility is a metric measure (Maturo and Angelini 2023).Prevision (probability) and utility are formally the two sides of the same coin, so it is possible to present the following: Theorem 1.Let 1 X and 2 X be two logically independent random goods.They are jointly considered inside the budget set of the decision-maker.Their possible values are expressed by ) is decomposed into two linear previsions, then its properties coincide with the ones of well-behaved preferences.
We prove this theorem in another paper of ours.Since indifference curves cannot cross, given any two prevision bundles belonging to two different indifference curves, this theorem tells us that the decision-maker can rank them as to their distance from (0, 0) measured along the 45-degree line.One of the prevision bundles is strictly better than the other if and only if its distance from (0, 0) measured along the 45-degree line is greater than the other.A numerical example of this can easily be shown using the Pythagorean theorem.It is possible to write to denote the distance of P from O = (0, 0), where P stands for (P( 1 X), P( 2 X)).We write The bundles for which the decision-maker is indifferent to (P( 1 X), P( 2 X)) form the indifference curve.Its slope is negative.It can be imagined by identifying preferences for perfect substitutes without loss of generality.It intersects the 45-degree line in a point only.All other indifference curves intersect the 45-degree line.Each of them intersects the 45-degree line in a point only.Preferences are not directly observable.In our approach, the notion of utility has then an independent meaning other than its being what a given decision-maker maximizes.
We establish the following: Definition 4. All the events associated with an ordered pair of random goods are obtained by considering the Cartesian product of the possible values for two logically independent random goods denoted by 1 X and 2 X.Such random goods give rise to a joint random good denoted by 1 X 2 X.The latter is a function written in the form 1 X 2 X : x j , with i, j = 1, . . ., m + 1.
We are faced with where it is possible to write for every i, j = 1, . . ., m + 1.Since 1 X and 2 X are two random goods, where each of them has m + 1 possible values, two random goods giving rise to 1 X 2 X are logically independent whenever there exist [(m + 1)•(m + 1)] possible values for 1 X 2 X (the notion of measure associated with possible values for a random entity is dealt with by Nunke and Savage (1952)).Given ( 1 X, 2 X), we are faced with two different partitions.Each of them is characterized by m + 1 incompatible and exhaustive events 10 .The covariant components of an affine tensor of order 2 represent the joint masses of the nonparametric joint distribution of 1 X and 2 X.Their number is overall equal to (m + 1) 2 (coherent probabilities associated with possible values for random entities are handled by Regazzini (1985)).We say that an ordered pair of random goods denoted by ( 1 X, 2 X) is represented by an ordered triple of geometric entities denoted by with (i, j) ∈ I m+1 × I m+1 , where we write I m+1 = {1, 2, . . ., m + 1}.We consider the notion of α-product between (1) x and (2) x.It is possible to establish a quadratic metric on E m+1 in this way.This notion is a scalar or inner product obtained using the joint masses denoted by p ij of the nonparametric joint distribution of 1 X and 2 X together with the contravariant components of (1) x and (2) x.We then write (2) x j p ij = (2) x i (28) is a vector homography by means of which we pass from (2) x j to (2) x i using p ij .All covariant components of an (m + 1)-dimensional vector are obtained by means of vector homographies involving p ij .For instance, from the following Table.

Random
so it is possible to write the following result On the other hand, after calculating the covariant components of (1) x in a similar way, we write After transferring the possible values for 1 X and 2 X on two one-dimensional straight lines, P( 1 X 2 X) lives inside a subset of a two-dimensional linear space over R. P( 1 X 2 X) is a measure of a metric nature living inside a subset of a linear space over R denoted by R × R.
Please note that P( 1 X 2 X) is identified with a two-dimensional point.We write to identify P( 1 X 2 X) inside the budget set of the decision-maker.This means that P( 1 X 2 X) is always decomposed into two linear measures.Each of them is identified with a onedimensional point inside the budget set of the decision-maker.The notion of α-norm is a particular case of the one of α-product.From the following Table.

Two Jointly Considered Random Goods That Are Independent of the Notion of Ordered Pair
Let 1 X and 2 X be two random goods, where each of them is characterized by m + 1 possible values.We note the following: Remark 3. Given an orthonormal basis of E m+1 , the possible values for two separately considered random goods are represented by the contravariant components of two vectors of E m+1 .If we are not interested in fusing 1 X and 2 X, then the possible values for two logically independent random goods which are jointly considered could coincide with the contravariant components of an affine tensor of order 2. If we are conversely interested in fusing 1 X and 2 X, then the possible values for a stand-alone and double random good denoted by X 12 are represented by the contravariant components of an antisymmetric tensor of order 2.
Since we want to pass from an ordered pair of marginal random goods to two marginal random goods which are jointly considered regardless of the notion of ordered pair, we define a double random good denoted by It is a multiple random good of order 2. The possible values for X 12 coincide with the contravariant components of an antisymmetric tensor of order 2. After choosing (m + 1) 2 joint masses connected with 1 X 2 X, where we write it is necessary to consider four nonparametric joint distributions characterizing 1 X 1 X, to release X 12 from the notion of ordered pair.Please note that 1 X 1 X and 2 X 2 X give rise to joint distributions such that all off-diagonal joint masses of a two-way table, where the number of rows is equal to the one of columns, coincide with zero.After choosing (m + 1) 2 joint masses connected with 1 X 2 X, the distributions associated with 1 X 1 X, 1 X 2 X, 2 X 1 X, and 2 X 2 X are automatically determined.The mathematical expectation of i X j X, with i, j = 1, 2, is of a bilinear nature.This means that it is separately linear in each marginal random good (the notion of prevision of a random entity is studied by Berti et al. (2001)).
Thus, we present the following: Theorem 2. The mathematical expectation of X 12 = { 1 X, 2 X} denoted by P(X 12 ) coincides with the determinant of a square matrix of order 2. Each element of such a determinant is a real number coinciding with the mean value of i X j X denoted by P( i X j X), where we have i, j = 1, 2.
This theorem is proved by us in another paper of ours.What is actually demanded for X 12 by the decision-maker coincides with P(X 12 ).It is a multiple choice associated with a multiple good.It is an aggregate measure that is obtained after observing what the decision-maker actually chooses inside his or her budget set.He or she chooses (P( 1 X), P( 2 X)) whenever the prices and income are, respectively, c 1 , c 2 , and c.He or she also chooses P( 1 X 2 X), so he or she chooses those joint masses such that an element of the Fréchet class is summarized.A remarkable point of this paper is the following.Since a given decision-maker is indifferent to the exchange of 1 X for P( 1 X) and of 2 X for P( 2 X), he or she is also indifferent to the exchange of X 12 for P(X 12 ), where we write P(X 12 ) extends the notion of barycenter of masses.In particular, the property of the barycenter known as stable equilibrium is extended.Given 1 X and 2 X and their average quantities, we consider all deviations from P( 1 X) and P( 2 X) of the possible values for 1 X and 2 X (Rockafellar et al. 2006).
We then present the following: Theorem 3. The variance of X 12 = { 1 X, 2 X} denoted by Var(X 12 ) coincides with the determinant of a square matrix of order 2. Each element of such a determinant is a real number coinciding with the variance of 1 X and 2 X, and with their covariance.
This theorem is proved by us in another paper of ours.We note the following: Remark 4. The origin of the variability of X 12 depends on the variable state of information and knowledge associated with a given decision-maker.This is because all deviations from P( 1 X) and P( 2 X) of the possible values for 1 X and 2 X depend on his or her variable state of information and knowledge.
A nonlinear (multilinear) metric is the expression given by It is the area of a 2-parallelepiped.Its edges are two marginal random goods with their possible values that are subjected to two changes of origin.The strict components of 12 d are the coordinates of such edges denoted by (1) d and (2) d.We also write so the property of the barycenter known as the minimum of the moment of inertia is extended.Let 1 X and 2 X be two risky assets.In this subsection, we study them inside the budget set of the decision-maker.In the first stage, all coherent expected returns on the portfolio denoted by X 12 = { 1 X, 2 X} consisting of two risky assets are expressed by

Random Goods Whose Possible Values
Given 1 X and 2 X, where 1 X and 2 X are the components of X 12 , whenever we use the principle characterizing a linear and quadratic metric to establish the expected return on a two-risky asset portfolio, we focus on the components of X 12 only.We focus on 1 X and 2 X only.The left-hand side of ( 38) is a weighted average of the two expected returns on the two risky assets taken into account (Markowitz 1952).The two expected returns on the two risky assets taken into account are themselves two weighted averages.A coherent expected return on a joint risky asset denoted by 1 X 2 X is given by P( 1 X 2 X).A nonparametric joint distribution of mass is summarized by means of P( 1 X 2 X).The latter is decomposed into P( 1 X) and P( 2 X) inside the budget set of the decision-maker.In the first stage, all coherent expected returns on a joint risky asset give rise to a two-dimensional convex set.The decision-maker divides his or her relative monetary wealth given by between the two risky assets taken into account, where we observe The budget set of the decision-maker established by the budget constraint given by ( 16) does not change whenever we multiply all objective prices and income by a positive number.
The best rational choice being made by him or her from his or her budget set does not change either.His or her best rational choice depends on his or her subjective preferences (Angelini and Maturo 2022a).His or her best rational choice depends on further hypotheses of an empirical nature.Please note that (39) and ( 40) can be viewed as the prices associated with average quantities chosen by a given decision-maker, whereas c c 1 +c 2 is the amount of money he or she has to spend.Formally, the two prices are constants expressed by real numbers.Their ratio identifies the slope of a hyperplane embedded in a two-dimensional linear space over R. We note the following: Remark 5.It is possible to study real data given by time series connected with annual returns referred to marginal risky assets.It is possible to make a coherent prevision about the return associated with each marginal risky asset based on observed data in different stock markets.Each time series is associated with a stock market.Real data given by time series are possible alternatives that are summarized.Their nature is intrinsically objective.From the slope of the budget line which can be drawn, it is possible to observe the prices of the two risky assets viewed to be as two marginal random goods.It is also possible to wonder if the decision-maker taken into account maximizes, or does not maximize, his or her subjective utility connected with weighted averages.This is because the notion of ordinal utility is itself a metric measure.

Risky Assets Studied outside the Budget Set of the Decision-Maker
Given 1 X and 2 X and their expected returns, we consider all deviations from P( 1 X) and P( 2 X) of the possible values for 1 X and 2 X.We denote them by (1) d and (2) d, respectively.Please note that P( 1 X) and P( 2 X) are chosen by the decision-maker inside his or her budget set.We are now found outside it.Given with with (2) and Whenever we use a linear and quadratic metric, we focus on the riskiness of 1 X and 2 X only.
In fact, we consider Var( 1 X), Var( 2 X), and Cov( 1 X, 2 X).A linear metric is the α-norm of y given by (43).In particular, it is possible to write Such an expression shows the notion of α-distance between two marginal risky assets.Their possible values are subjected to two changes of origin.

Conditions Allowing the Studying of a Marginal Risky Asset as a Double Risky Asset
Given a marginal risky asset denoted by 1 X, we want to study it as a double risky asset denoted by X 12 , where X 12 intrinsically consists of four joint risky assets.We must study four joint distributions of mass.They must be all summarized 11 .We note that two conditions must be satisfied to represent 1 X as X 12 .First, we write to denote the expected return on 1 X.We say that 1 X is the component of a double risky asset, where is an affine tensor of order 2 whose covariant components express all joint masses taken into account (the conditions of coherence are studied by Berti and Rigo (2002)).Such an affine tensor must satisfy the following relationship given by We then say that the two sides of (50) are equal if and only if we have Since we write it follows that the first condition tells us that 1 X and 1 X 2 X are two finite partitions of events such that the sum of their associated masses is equal to 1.
The second condition tells us that 1 X and 1 X 2 X must have the same summarized measure which is obtained using P.This means that 1 X and 1 X 2 X must have the same expected return.We therefore write It follows that the two sides of ( 53) are equal if and only if we have Hence, we note the following: Remark 6.Let B m+1 = {e i }, i = 1, . . ., m + 1, be an orthonormal basis of E m+1 .The possible values for the other risky asset such that 1 X is studied as X 12 are the contravariant components, all of them coinciding with 1, of a vector of E m+1 .They form the set denoted by Its number of elements is equal to m + 1.Such components are not vectorially intrinsic because they depend on the basis of E m+1 being chosen.If we pass from B m+1 to B m+1 = {e i }, i = 1, . . ., m + 1, then the contravariant components of such a vector transform like the ones of any other vector of E m+1 .We therefore write where A = (a i i ) is an (m + 1) × (m + 1) matrix expressing a change of basis.
Remark 7. The vector of E m+1 whose contravariant components form the set expressed by is denoted by φ.
It is evident that φ identifies a degenerate risky asset.It has 1 as its unique possible value.

From a Marginal Distribution of Mass to Four Joint Distributions: A Numerical Example
A nonparametric marginal distribution of mass of 1 X can be interpreted as a joint distribution of 1 X and 2 X = φ.For instance, from the following Table .where we have The strict covariant components of (1) f are given by They are obtained by considering all feasible decompositions of two expected returns on the two elements of X 12 (a geometric approach connected with more general random entities is shown by Pompilj (1957)).We consider different vector homographies to obtain all covariant components of the two vectors denoted by (1) x and φ identifying the two elements of X 12 .We compute the mean quadratic difference of 1 X by taking two different requirements into account (variability measures put forward by Corrado Gini are handled by Berkhouch et al. (2018)).First, the α-norm of an antisymmetric tensor of order 2 is always calculated by considering its strict components.Second, the notion of mean quadratic difference of 1 X requires that all possible differences be considered (Furman et al. 2017).This means that the non-strict components of (1) f are even taken into account.We then write where we have Please note that (67) appears whenever we do not consider the strict components of an antisymmetric tensor of order 2. By taking ( 59) and ( 65) into account, we obtain The right-hand side of (68) contains all contravariant and covariant components of (1) f at the same time.After reminding ( 61)-( 63), we finally write We always associate (1) x i 1 with (1) x i 1 , (1) x i 2 with φ i 2 , φ i 1 with (1) x i 1 , and φ i 2 with φ i 2 .
Nevertheless, there are two variable indices separately appearing twice in each single term (monomial).After computing the determinant appearing on the right-hand side of (69), it is then possible to obtain We wrote the square of the relationship between the mean quadratic difference of 1 X denoted by 2 ∆( 1 X) and its standard deviation (Gerstenberger and Vogel 2015).
The relationship between the mean quadratic difference of 1 X denoted by 2 ∆( 1 X) and its standard deviation has been established by Corrado Gini (Ji et al. 2017).We consider the square of it (Li et al. 2016).In this paper, a tensorial approach to the mean quadratic difference is dealt with.More generally, in our opinion, a tensorial approach to the theory of decision-making is well-grounded because of various reasons.First, the object of decisionmaker choice naturally embraces various elements made clear in this research work and it is closely connected with the notion of ordinal utility from an operational point of view.Second, the space where a given decision-maker chooses has a precise mathematical structure.Its technical characteristics must be taken into account to try to find out new results.Third, the conditions of certainty are an extreme simplification.In our opinion, they may produce a sterilization of the connection of choice problems with their applications to reality.Fourth, axiomatic constructions generally lead to accepting for certain the alternative based on which a given decision-maker decides to act.Such constructions link choice problems to reality and to applications by replacing a well-founded probability issue with an impossible translation of it into the logic of certainty.In our opinion, this replacement must not take place.

A Variability Tensor Based on Deviations from a Mean Value
Let (1) d be the deviation vector corresponding to the vector denoted by (1) x identifying 1 X.By taking (59) into account, we write where only the first row of ( 71) is different from the one of ( 59).The second row of ( 71) is the same as the one of (59).Hence, we prove the following: Theorem 5. Given (1) ψ, its α-norm denoted by (1) ψ 2 α represents the mean quadratic difference of 1 X.
Proof.The strict covariant components of (1) ψ 2 α are given by so we can compute the α-norm of (1) ψ denoted by (1) ψ 2 α .We consequently write where we have The right-hand side of (74) contains all contravariant and covariant components of (1) ψ at the same time.We note that (1) d and φ are α-orthogonal.We therefore write where P(X 12 ... n ) and Var(X 12 ... n ) are two determinants of two square matrices of order n connected with two tensors of the same order (Angelini and Maturo 2022b).It measures how risk and return can be traded off in making portfolio choices.Such choices are studied inside the budget set of the decision-maker (Dowd 2000).The marginal rate of substitution between risk and return is given by ( 81).The slope of the budget line measuring the cost of achieving a larger expected return on X 12 ... n in terms of the increased standard deviation of the return is given by ( 81), where we assume P(X 12 ... n ) > r f (a specific model about uncertainty is studied by Pham et al. (2022)).Please note that Var(X 12...n ) is obtained through the notion of mean quadratic difference.In this section, an extension of the meanvariance model is computationally shown.Moreover, since the beta of a given stock i can statistically be defined by considering the covariance of the return on the stock with the market return divided by the variance of the market return, and specifically it is then possible to write what is said in this section can operationally be associated with the Capital Asset Pricing Model, which has many uses in the study of financial markets.The expected market return r m can accordingly be expressed using a measure with the same structure as (79).

Conclusions, Discussion, and Future Perspectives
This paper answers different questions.Two of them are essential.First, the number of points of the budget set of the decision-maker is infinite because all admissible (rational) choices at the first stage derive from masses that are subjectively established.In the second stage, the object of decision-maker choice depends on further hypotheses of an empirical nature, but the distribution of masses identifying this object of decision-maker choice is always characterized by subjective and objective elements.Each point of the budget set of the decision-maker is a metric measure.Every measure is obtained after summarizing a nonparametric joint distribution of mass.Different distributions of mass are different measures.Nevertheless, when talking in terms of measure one does not make of it something fixed, with a special status.A given decision-maker accordingly focuses on masses because there is always the physical perception of being able to move them in whatever way he or she likes.In our approach, a mechanical transposition of all the notions, procedures, and results of measure theory into the calculus of probability does not happen.Every measure is not directly visible inside the budget set of the decision-maker because it is a real number.It appears as a two-dimensional point.Second, the role played by objective alternatives is fundamental.Structures open to the adjunction of new entities as new circumstances arise are studied.They are linear spaces over R. Their dimensions are different.We can know P(X 12 ) and Var(X 12 ) using a multilinear and quadratic metric, where X 12 is a two-risky asset portfolio.We can also know P(X 12...n ) and Var(X 12...n ), where X 12...n is an n-risky asset portfolio.Since we use a quadratic metric, we always consider two random goods at a time.We never consider more than two goods at a time.The notion of ordinal utility is a metric measure as well.In this paper, a more general approach to the riskiness of random goods is proposed.We use the notion of mean quadratic difference put forward by Corrado Gini.We develop it using a tensorial approach.If the decision-maker uses mean quadratic differences, then he or she expresses, from time to time, the knowledge hypothesis underlying the variability of his or her choices.It is possible to understand that the notion of mean quadratic difference is also connected with the Bravais-Pearson correlation coefficient.Regarding random goods, this coefficient is intrinsically referred to a double random good denoted by X 12 .If the above expression within the parentheses coincides with the Bravais-Pearson correlation coefficient referred to X 12 , where 12 d 2 α and 12 d 2 α are two aggregate measures obtained using a multilinear and quadratic metric.In this paper, the origin of the variability of a nonparametric distribution of mass depends on the variable state of information and knowledge associated with a given decision-maker.It is susceptible to being continuously enriched by the flow of new pieces of information.It can also be enriched by the results that are gradually learned or observed in relation to more or less analogous situations and cases.For this reason, the riskiness of a two-risky asset portfolio is studied using the notion of α-norm of an antisymmetric tensor of order 2.
What is said in this paper can be extended.This is because m + 1 possible values for a risky asset have an objective nature in the same way as m + 1 sampling units that are observed regarding a specific population.Multilinear relationships between variables with parametric probability distributions such as normal distributions can be dealt with using measures of a multilinear nature.A multilinear regression model based on this multilinear approach has been made by us.The paper containing this model is currently under review by an international journal.
Given m + 1 possible values for a risky asset, they identify a vector belonging to E m+1 .Two linearly independent vectors of E m+1 generate a linear subspace of E m+1 .Its dimension is equal to 2. The Grassmann coordinates of this linear subspace over R are the components of a tensor of order 2. Two linearly independent vectors of E m+1 are transferred on two mutually orthogonal one-dimensional straight lines, on which an origin, the same unit of length, and an orientation are established.It is possible to show that at least mean quadratic differences, the correlation coefficient, Jensen's inequality, revealed preference theory viewed to be as a branch of the theory of decision-making, the leastsquares model, and principal component analysis can be based on intrinsic conditions of uncertainty characterized by objective and subjective elements that are studied inside subsets of linear spaces over R provided with a specific dimension.
It is possible to overcome the limits of the current research by focusing one's attention on a stochastic view of bound choices.Such a view can be based on subjective opinions or attitudes of a given person.The subjective opinion, meant as something known by the decision-maker taken into account, is something objective in the sense that can be a reasonable object of a rigorous study.Even when one point of a specific convex set is chosen, there is no reason that would lead a given person to consider correct from a philosophical point of view this one, or that one, among the infinitely many possible opinions about the evaluations of probability.Thus, whenever a given decision-maker is indifferent to the exchange of 1 X for P( 1 X), a finite number of deviations or errors which are normally distributed can be determined.Whenever he or she is indifferent to the exchange of 2 X for P( 2 X), a finite number of deviations or errors which are normally distributed can be determined.Finally, since he or she is also indifferent to the exchange of X 12 for P(X 12 ), a finite number of deviations or errors can be dealt with in an aggregate fashion.

•
This study was not funded

•
The authors declare that they have no conflict of interest • This study does not contain any studies with human participants or animals performed by any of the authors • For this type of study formal consent is not required In our approach, to consider larger spaces containing, in addition, impossible points in the light of more recent information and knowledge is never wrong.With respect to [(m + 1)•(m + 1)] points dealt with by the function denoted by 1 X 2 X, only m 2 + 2 points of them are really uncertain.Thus, there are points in which the evaluation of the probability is predetermined, rather than permitting the subjective choice of any value in the interval from 0 to 1, endpoints included.
11 Given the masses of all possible values which are finite in number, their barycenter is a function of them.With regard to a double risky asset, we are not interested in establishing its exact distribution, but we are interested in knowing its barycenter.Whenever

where b 1 ,
b 2 , and b are positive real numbers, to identify his or her budget constraint.The slope of (3) is given by − b 1 Are Jointly Considered: From Disaggregate Choices to Aggregate Ones 2.1.Bound Choices Made by a Given Decision-Maker under Conditions of Uncertainty and Riskiness: Their Decomposition Inside His or Her Budget Set we have P( 1 X 2 X) = 11.8.Given the contravariant components of (2) x identifying the following column vector Are of a Monetary Nature: Risky Assets 3.1.Risky Assets Studied inside the Budget Set of the Decision-Maker (1) d and (2) d are α-orthogonal vectors, then we