5. Measure and Integration

Against the backdrop of the deep integration of the global digital economy and cross-border e-commerce, and addressing the lack of measure theory and quantitative analysis challenges for high-dimensional dynamic data in this field, this study constructs a measure theory system for cross-border e-commerce markets that combines mathematical rigor and economic interpretability based on Carathéodory’s extension theorem. Based on functional analysis and measure theory, the study defines the market fundamental set as the topological product space of a time index set and a multi-dimensional transaction state space. By constructing a combined structure of a left-open right-closed interval semiring and a power set semiring that satisfies the closure of Boolean algebra operations, an algebraic framework is established for the unified measurement of continuous and discrete variables. On the semiring structure, a σ-finite premeasure integrating Lebesgue measure and counting measure is defined. With the help of the countable covering mechanism generated by outer measure and the measure screening rules of Carathéodory’s measurability condition, the axiomatic extension from premeasure to complete measure on the σ-algebra is completed. Through the verification of Carathéodory’s condition for subsets of null sets and the transmission of outer measure monotonicity, the completeness of the measure space is strictly proved, and the core property that “subsets of null sets must be measurable” is established, providing a solid measure-theoretic foundation for mathematical modeling of cross-border e-commerce markets. At the empirical analysis level, the study uses micro-panel data on global cross-border e-commerce transactions from 2018 to 2024. Through the Kolmogorov-Smirnov test in non-parametric hypothesis testing, the distribution isomorphism between the theoretical measure and empirical data is verified. Based on the measure space theory, a Generalized Method of Moments (GMM) panel regression model is constructed. System GMM and Difference GMM estimation methods are used to handle endogeneity issues. Combined with instrumental variable methods and lag variable techniques, key parameters such as the logarithmic elasticity of economic scale between importing and exporting countries, the spatial decay effect of geographical distance, and the asymmetric inhibitory effect of tariff policies are quantitatively analyzed. A graph neural network model integrating measure theory is innovatively designed. By introducing a completeness regular term, the measure constraints on null sets and their subsets are achieved. Combined with the SHAP value interpretability analysis method, the marginal contribution of each characteristic variable in model decision-making is revealed. The study finds that the constructed measure space not only satisfies the axiomatic requirements of modern measure theory such as completeness and σ-finiteness, but also through the empirical tests of the GMM model and graph neural network, it is confirmed that it can effectively characterize the economic scale effect, spatial distance decay law, and policy sensitivity characteristics in cross-border e-commerce transactions, providing a methodological innovation paradigm based on measure theory for quantitative analysis in the field of international business in the digital economy era.

<p>For a non-negative finite countably additive measure μ defined on the σ-field Σ of subsets of Ω, it is well known that a certain quotient of Σ can be turned into a complete metric space Σ (Ω), known as the Nikodym-Saks space, which yields such important results in Measure Theory and Functional Analysis as Vitali-Hahn-Saks and Nikodym's theorems. Here we study some topological properties of Σ (Ω) regarded as a quasi-pseudometric space.</p>

GENERAL MEASURE THEORY Measures and Measurable Functions Lusin's and Egoroff's Theorems Integrals and Limit Theorems Product Measures, Fubini's Theorem, Lebesgue Measure Covering Theorems Differentiation of Radon Measures Lebesgue Points Approximate continuity Riesz Representation Theorem Weak Convergence and Compactness for Radon Measures HAUSDORFF MEASURE Definitions and Elementary Properties Hausdorff Dimension Isodiametric Inequality Densities Hausdorff Measure and Elementary Properties of Functions AREA AND COAREA FORMULAS Lipschitz Functions, Rademacher's Theorem Linear Maps and Jacobians The Area Formula The Coarea Formula SOBOLEV FUNCTIONS. Definitions And Elementary Properties. Approximation Traces. Extensions. Sobolev Inequalities Compactness. Capacity Quasicontinuity Precise Representations of Sobolev Functions. Differentiability on Lines BV FUNCTIONS AND SETS OF FINITE PERIMETER Definitions and Structure Theorem Approximation and Compactness Traces. Extensions. Coarea Formula for BV Functions. Isoperimetric Inequalities. The Reduced Boundary The Measure Theoretic Boundary Gauss-Green Theorem. Pointwise Properties of BV Functions Essential Variation on Lines A Criterion for Finite Perimeter. DIFFERENTIABILITY AND APPROXIMATION BY C1 FUNCTIONS. Lp Differentiability a.e. Approximate Differentiability Differentiability A.E. for W1,P (P > N). Convex Functions Second Derivatives a.e. for convex functions Whitney's Extension Theorem Approximation by C1 Functions NOTATION REFERENCES

Ever since Spector's brilliant application of measure theory to recursion theory in 1958 [6] it has been realized that measure theory promotes sweeping simplifications in the theory of degrees. Results previously thought to be pathological were shown by Spector, and later Sacks [4], [5], to hold for almost all degrees (“almost all” in the sense of Lebesgue measure), often with much simpler proofs. Good examples of this phenomenon are Spector's demonstration that almost all pairs of sets are of incomparable degree (as an immediate consequence of Fubini's theorem) and Sacks' exquisitely simple deduction from this result that almost every degree is the join of two incomparable degrees (for if a random sequence is decomposed into its even and odd parts, the result is a random pair).The present paper attempts to vindicate the feeling that almost all degrees behave in a simple manner by showing that if the quantifier in the theory of degrees with ′(jump), ∪ (join) and ∩ (meet) is taken to be (almost ∀a) instead of (∀a) then the theory is decidable. We are able to use ∩ because it will be shown that if t1, t2 are any terms built from degree variables a1, …, am with ′ and ∪ then t1 ∩ t2 exists for almost all a1, …, am. Thus the “almost all” theory presents a sharp contrast to the standard theory, where ∩ is not always defined (Kleene-Post [1]) and which is known to be undecidable (Lachlan [2]).

We suppose that the reader is acquainted with basic measure theory. However the common presentation of measure theory uses the Axiom of Choice without any comment. To replace the use of Axiom of Choice by a Weak Axiom of Choice or to avoid it at all, we present some facts about measure on a topological space, a brief construction of Lebesgue measure and we prove some of its basic properties. In Section 4.3 we recall the definition of the Lebesgue integral and we prove the basic results related to it. Finally, Section 4.4 is devoted to a brief presentation of the results which we shall intensively use: the Fubini Theorem and the Ergodic Theorem.KeywordsMeasure SpacePairwise DisjointMeasure TheoryBorel MeasureErgodic TheoremThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Measure theory is a branch of mathematics. Length, area, volume and weight are instances of measure concept. The emphasis in this chapter is mainly on the concept of measure, Borel set, measurable function, Lebesgue integral, Lebesgue-Stieltjes integral, monotone class theorem, Carathéodory extension theorem, measure continuity theorem, product measure theorem, monotone convergence theorem, Fatou’s lemma, Lebesgue dominated convergence theorem, and Fubini theorem. The main results in this chapter are well-known. For this reason the credit references are not given. This chapter can be omitted by the readers who are familiar with the basic concepts and theorems of measure and integral.

This chapter introduces probability theory as a system of models, based on measure theory, of some real-world phenomena. The models are measure spaces of total measure 1 and usually have certain distinguished measurable functions defined on them. Section 1 begins by establishing the measure-theoretic framework and a short dictionary for passing back and forth between terminology in measure theory and terminology in probability theory. The latter terminology includes events, random variables, mean, probability distribution of a random variable, and joint probability distribution of several random variables. An important feature of probability is that it is possible to work with random variables without any explicit knowledge of the underlying measure space, the joint probability distributions of random variables being the objects of importance. Section 2 introduces conditional probability and uses that to motivate the mathematical definition of independence of events. In turn, independence of events leads naturally to a definition of independent random variables. Independent random variables are of great importance in the subject and play a much larger role than their counterparts in abstract measure theory. Examples at the end of the section indicate the extent to which functions of independent random variables can remain independent. The techniques in the examples are of use in the subject of statistical inference, which is introduced in Section 10. Section 3 states and proves the Kolmogorov Extension Theorem, a foundational result allowing one to create stochastic processes involving infinite sets of times out of data corresponding to finite subsets of those times. A special case of the theorem provides the existence of infinite sets of independent random variables with specified probability distributions. Section 4 establishes the celebrated Strong Law of Large Numbers, which says that the Cesaro sums of a sequence of identically distributed independent random variables with finite mean converge almost everywhere to a constant random variable, the constant being the mean. This is a theorem that is vaguely known to the general public and is widely misunderstood. The proof is based on Kolmogorov’s inequality. Sections 5–8 provide background for the Central Limit Theorem, whose statement and proof are in Section 9. Section 5 discusses three successively weaker kinds of convergence for random variables—almost sure convergence, convergence in probability, and convergence in distribution. Convergence in distribution will be the appropriate kind for the Central Limit Theorem. Section 6 contains the Portmanteau Lemma, which gives some equivalent formulations of convergence in distribution, Section 7 introduces characteristic functions as Fourier transforms of probability distributions, and Section 8 proves the Levy Continuity Theorem, which formulates convergence in distribution in terms of characteristic functions. Section 9 contains the statement and proof of the Central Limit Theorem, followed by some simple examples. This theorem is the most celebrated result in probability theory and has many applications in mathematics and other fields. Section 10 is a brief introduction to the subject of statistical inference, showing how the Central Limit theorem plays a role in practice through the $t$ test of W. S. Gosset.

For a stochastic integral with respect to an $L^0 $-valued random measure $\theta $ in the sense of Bichteler and Jacod, whose integrand from $L^{1,0} (\theta )$ depends measurably on a parameter in a measurable space, we establish the measurability in this parameter. In the $L^1 $-valued case with a norm integrable in the parameter we prove a theorem on the rearrangement of integrals which generalizes the classical Fubini theorem. An analogous result for an $L^0 $-valued measure is obtained by its prelocal reduction to an $L^1 $-valued measure.

I. V. M. Klimkin, "On extension of a vector measure," Izv. Vyssh. Uchebn. Zaved., Mat., ~, 46-53 (1971). 2. V. M. Klimkin, "On certain properties of continuous outer measures," Uch. Zap. Leningr. Gos. Pedagog. Inst., 469, 187-204 (1970). 3. N. S. Gusel'nikov, "On the convergence of a sequence of continuous triangular measures," Nauch. Dokl., Mat., 26, 78-82, Hercen Lectures, Izd. Mosk. 0blast. Pedagog. Inst. im N. K. Krypskoi, Moscow (1973). 4. N. S. Gusel'nikov, "On the extension of quasi-Lipschitz set functions," Mat. Zametki, 17, No. i, 21-31 (1975). 5. N. Dunford and J. T. Schwartz, Linear Operators, Part I, Wiley, New York (1958). 6. J. L. Kelley, General Topology, Van Nostrand, New York (2955). 7. L. Ya. Savel'ev, "On the extension of a mappin E of a Boolean ring into a topological Abelian group," Dokl. Akad. Nauk SSSR, 149, No. 6, 1268-1269 (1963). 8. L. Ya. Savel'ev, "Extension of measures by continuity," Sib. Mat. Zh., ~, No. 3, 639650 (1964). 9. L. Ya. Savel'ev, "Certain conditions for extendability of vector measures," Sib. Mat. Zh., 9, No. 4, 937-950 (1968). 10. M. Kh. Khafizov, "On the extension of a vector-valued measure," in: Current Problems of Mathematical Logic and Set Theory [in Russian], Izd. Mosk. Gos. Pedagog. Inst., Moscow (1975), pp. 291-301. ii. P. R. Halmos, Measure Theory, Van Nostrand, New York (1950).

The present section is devoted to a number of results and statements which are closely connected with the classical Sierpinski partition of the Euclidean plane R 2. It turns out that these results and statements are rather useful in various situations. In particular, they can be successfully applied to many questions and problems from mathematical analysis, measure theory and general topology.

2 - Further Results in Measure and Integration Theory

Given a non-archimedean real closed field with archimedean value group which contains the reals, we establish for the category of semialgebraic sets and functions a full Lebesgue measure and integration theory such that the main results from the classical setting hold. The construction involves methods from model theory, o-minimal geometry and valuation theory. We set up the construction in such a way that it is determined by a section of the valuation. If the value group is isomorphic to the group of rational numbers the construction is uniquely determined up to isomorphism. The range of the measure and integration is obtained in a controled and tame way from the real closed field we start with. The main example is given by the case of the field of Puiseux series where the range is the polynomial ring in one variable over this field.

In measure theory several results are known how measure spaces are transformed into each other. But since moment functionals are represented by a measure we investigate in this study the effects and implications of these measure transformations to moment funcationals, especially with dimensionality reduction. We gain characterizations of moment functionals. Among other things we show that for a compact and path connected set Ksubset mathbb {R}^n there exists a measurable function g:Krightarrow [0,1] such that any linear functional L:mathbb {R}[x_1,dots ,x_n]rightarrow mathbb {R} is a K-moment functional if and only if it has a continuous extension to some overline{L}:mathbb {R}[x_1,dots ,x_n]+mathbb {R}[g]rightarrow mathbb {R} such that tilde{L}:mathbb {R}[t]rightarrow mathbb {R} defined by tilde{L}(t^d):= overline{L}(g^d) for all din mathbb {N}_0 is a [0, 1]-moment functional (Hausdorff moment problem). Additionally, there exists a continuous function f:[0,1]rightarrow K independent on L such that the representing measure tilde{mu } of tilde{L} provides the representing measure tilde{mu }circ f^{-1} of L. We also show that every moment functional L:mathcal {V}rightarrow mathbb {R} is represented by lambda circ f^{-1} for some measurable function f:[0,1]rightarrow mathbb {R}^n where lambda is the Lebesgue measure on [0, 1].

General regular variation, Popa groups and quantifier weakening

We assume a basic knowledge of general topology and integration theory (as found, for example, in [91], [104], [130], and [253]). The purpose of this chapter is to present some special results which are not necessarily found in general references. In section 4 we prove an interpolation theorem and investigate when compact Hausdorff spaces can be mapped continously onto the closed unit interval [0, 1]. A brief development of dispersed spaces and their relationship to spaces of ordinal numbers is given in section 5. Section 6 is devoted to a study of the Cantor set and section 7 is concerned with extremally disconnected compact Hausdorff spaces and their role as projectives (in the category of compact Hausdorff spaces and continuous maps). In section eight we briefly develop the theory of regular Borel measures and prove representation theorems for C(T,ℝ)* (and C(T,ℂ)*).