Hostname: page-component-6898cfcb55-cbk24 Total loading time: 0 Render date: 2026-11-11T09:13:23.879Z Has data issue: false hasContentIssue false

Krivine’s Function Calculus and Bochner Integration

Published online by Cambridge University Press:  15 October 2018

V. G. Troitsky
Affiliation:
Department of Mathematical and Statistical Sciences, University of Alberta, Edmonton, AB, T6G 2G1, Canada Email: troitsky@ualberta.ca
M. S. Türer
Affiliation:
Department of Mathematics and Computer Science, İstanbul Kültür University, Bakırköy 34156, İstanbul, Turkey Email: m.turer@iku.edu.tr
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

We prove that Krivine’s Function Calculus is compatible with integration. Let $(\unicode[STIX]{x1D6FA},\unicode[STIX]{x1D6F4},\unicode[STIX]{x1D707})$ be a finite measure space, $X$ a Banach lattice, $\mathbf{x}\in X^{n}$, and $f:\mathbb{R}^{n}\times \unicode[STIX]{x1D6FA}\rightarrow \mathbb{R}$ a function such that $f(\cdot ,\unicode[STIX]{x1D714})$ is continuous and positively homogeneous for every $\unicode[STIX]{x1D714}\in \unicode[STIX]{x1D6FA}$, and $f(\mathbf{s},\cdot )$ is integrable for every $\mathbf{s}\in \mathbb{R}^{n}$. Put $F(\mathbf{s})=\int f(\mathbf{s},\unicode[STIX]{x1D714})\,d\unicode[STIX]{x1D707}(\unicode[STIX]{x1D714})$ and define $F(\mathbf{x})$ and $f(\mathbf{x},\unicode[STIX]{x1D714})$ via Krivine’s Function Calculus. We prove that under certain natural assumptions $F(\mathbf{x})=\int f(\mathbf{x},\unicode[STIX]{x1D714})\,d\unicode[STIX]{x1D707}(\unicode[STIX]{x1D714})$, where the right hand side is a Bochner integral.

Information

Type
Article
Copyright
© Canadian Mathematical Society 2018