Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical...
Transcript of Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical...
![Page 1: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/1.jpg)
Integral geometry for the 1-norm
Tom Leinster
Glasgow/EPSRC
arXiv:1012.5881v2
![Page 2: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/2.jpg)
Plan
1. Introduction
2. Convex geometry in the 1-norm
3. Integral geometry in the 1-norm
![Page 3: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/3.jpg)
Plan
1. Introduction
2. Convex geometry in the 1-norm
3. Integral geometry in the 1-norm
![Page 4: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/4.jpg)
Plan
1. Introduction
2. Convex geometry in the 1-norm
3. Integral geometry in the 1-norm
![Page 5: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/5.jpg)
Plan
1. Introduction
2. Convex geometry in the 1-norm
3. Integral geometry in the 1-norm
![Page 6: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/6.jpg)
1. Introduction
![Page 7: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/7.jpg)
Beyond Euclidean space
Integral geometry was originally developed in Euclidean space.
It has been extended in many ways:
• to manifolds: Alesker, Fu, . . .
• to Minkowski spaces and projective Finsler spaces:Alvarez Paiva, Bernig, Fernandes, Schneider, Wieacker, . . .
• to complex spaces: Alesker, Bernig, Fu, Solanes, . . .
• . . .
We’ll consider integral geometry in metric spaces.
![Page 8: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/8.jpg)
Beyond Euclidean space
Integral geometry was originally developed in Euclidean space.
It has been extended in many ways:
• to manifolds: Alesker, Fu, . . .
• to Minkowski spaces and projective Finsler spaces:Alvarez Paiva, Bernig, Fernandes, Schneider, Wieacker, . . .
• to complex spaces: Alesker, Bernig, Fu, Solanes, . . .
• . . .
We’ll consider integral geometry in metric spaces.
![Page 9: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/9.jpg)
Beyond Euclidean space
Integral geometry was originally developed in Euclidean space.
It has been extended in many ways:
• to manifolds: Alesker, Fu, . . .
• to Minkowski spaces and projective Finsler spaces:Alvarez Paiva, Bernig, Fernandes, Schneider, Wieacker, . . .
• to complex spaces: Alesker, Bernig, Fu, Solanes, . . .
• . . .
We’ll consider integral geometry in metric spaces.
![Page 10: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/10.jpg)
Beyond Euclidean space
Integral geometry was originally developed in Euclidean space.
It has been extended in many ways:
• to manifolds: Alesker, Fu, . . .
• to Minkowski spaces and projective Finsler spaces:Alvarez Paiva, Bernig, Fernandes, Schneider, Wieacker, . . .
• to complex spaces: Alesker, Bernig, Fu, Solanes, . . .
• . . .
We’ll consider integral geometry in metric spaces.
![Page 11: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/11.jpg)
Beyond Euclidean space
Integral geometry was originally developed in Euclidean space.
It has been extended in many ways:
• to manifolds: Alesker, Fu, . . .
• to Minkowski spaces and projective Finsler spaces:Alvarez Paiva, Bernig, Fernandes, Schneider, Wieacker, . . .
• to complex spaces: Alesker, Bernig, Fu, Solanes, . . .
• . . .
We’ll consider integral geometry in metric spaces.
![Page 12: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/12.jpg)
Beyond Euclidean space
Integral geometry was originally developed in Euclidean space.
It has been extended in many ways:
• to manifolds: Alesker, Fu, . . .
• to Minkowski spaces and projective Finsler spaces:Alvarez Paiva, Bernig, Fernandes, Schneider, Wieacker, . . .
• to complex spaces: Alesker, Bernig, Fu, Solanes, . . .
• . . .
We’ll consider integral geometry in metric spaces.
![Page 13: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/13.jpg)
Beyond Euclidean space
Integral geometry was originally developed in Euclidean space.
It has been extended in many ways:
• to manifolds: Alesker, Fu, . . .
• to Minkowski spaces and projective Finsler spaces:Alvarez Paiva, Bernig, Fernandes, Schneider, Wieacker, . . .
• to complex spaces: Alesker, Bernig, Fu, Solanes, . . .
• . . .
We’ll consider integral geometry in metric spaces.
![Page 14: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/14.jpg)
Integral geometry in metric spaces
Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn.
• X ⊆ A is geodesic if for all x , y ∈ X , there exists adistance-preserving path γ : [0, d(x , y)] → X joining x and y .
• A valuation on A is a function
{compact geodesic subsets of A} → R
satisfying the usual equations (where defined).
• Valuations on A form a vector space,
Val(A) = {continuous isometry-invariant valuations on A}.
E.g. Val(Rn) ∼= Rn+1.
Every metric space A presents a challenge:
What is Val(A)?
![Page 15: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/15.jpg)
Integral geometry in metric spaces
Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn.
• X ⊆ A is geodesic if for all x , y ∈ X , there exists adistance-preserving path γ : [0, d(x , y)] → X joining x and y .
• A valuation on A is a function
{compact geodesic subsets of A} → R
satisfying the usual equations (where defined).
• Valuations on A form a vector space,
Val(A) = {continuous isometry-invariant valuations on A}.
E.g. Val(Rn) ∼= Rn+1.
Every metric space A presents a challenge:
What is Val(A)?
![Page 16: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/16.jpg)
Integral geometry in metric spaces
Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn.
• X ⊆ A is geodesic if for all x , y ∈ X , there exists adistance-preserving path γ : [0, d(x , y)] → X joining x and y .
• A valuation on A is a function
{compact geodesic subsets of A} → R
satisfying the usual equations (where defined).
• Valuations on A form a vector space,
Val(A) = {continuous isometry-invariant valuations on A}.
E.g. Val(Rn) ∼= Rn+1.
Every metric space A presents a challenge:
What is Val(A)?
![Page 17: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/17.jpg)
Integral geometry in metric spaces
Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn.
• X ⊆ A is geodesic if for all x , y ∈ X , there exists adistance-preserving path γ : [0, d(x , y)] → X joining x and y .
• A valuation on A is a function
{compact geodesic subsets of A} → R
satisfying the usual equations (where defined).
• Valuations on A form a vector space,
Val(A) = {continuous isometry-invariant valuations on A}.
E.g. Val(Rn) ∼= Rn+1.
Every metric space A presents a challenge:
What is Val(A)?
![Page 18: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/18.jpg)
Integral geometry in metric spaces
Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn.
• X ⊆ A is geodesic if for all x , y ∈ X , there exists adistance-preserving path γ : [0, d(x , y)] → X joining x and y .
• A valuation on A is a function
{compact geodesic subsets of A} → R
satisfying the usual equations (where defined).
• Valuations on A form a vector space,
Val(A) = {continuous isometry-invariant valuations on A}.
E.g. Val(Rn) ∼= Rn+1.
Every metric space A presents a challenge:
What is Val(A)?
![Page 19: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/19.jpg)
Integral geometry in metric spaces
Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn.
• X ⊆ A is geodesic if for all x , y ∈ X , there exists adistance-preserving path γ : [0, d(x , y)] → X joining x and y .
• A valuation on A is a function
{compact geodesic subsets of A} → R
satisfying the usual equations (where defined).
• Valuations on A form a vector space,
Val(A) = {continuous isometry-invariant valuations on A}.
E.g. Val(Rn) ∼= Rn+1.
Every metric space A presents a challenge:
What is Val(A)?
![Page 20: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/20.jpg)
Integral geometry in metric spaces
Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn.
• X ⊆ A is geodesic if for all x , y ∈ X , there exists adistance-preserving path γ : [0, d(x , y)] → X joining x and y .
• A valuation on A is a function
{compact geodesic subsets of A} → R
satisfying the usual equations (where defined).
• Valuations on A form a vector space,
Val(A) = {continuous isometry-invariant valuations on A}.
E.g. Val(Rn) ∼= Rn+1.
Every metric space A presents a challenge:
What is Val(A)?
![Page 21: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/21.jpg)
Rn with the p-norm
Write `np for Rn with metric d(x , y) =
(∑|xi − yi |p
)1/p(1 ≤ p < ∞).
1 2 p
groupisometrygeodesic
sets
1 2 p
groupisometrygeodesic
sets
dim(Val(`n2)) = n + 1
H
dim(Val(`n1)) = ?
H
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
dim(Val(`np)) = ∞
p 6= 1, 2:
• p 6= 1: geodesic ⇐⇒ convex
• p 6= 2: only isometries are translations, coordinate permutations, andreflections in coordinate hyperplanes
![Page 22: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/22.jpg)
Rn with the p-norm
Write `np for Rn with metric d(x , y) =
(∑|xi − yi |p
)1/p(1 ≤ p < ∞).
1 2 p
groupisometrygeodesic
sets
1 2 p
groupisometrygeodesic
sets
dim(Val(`n2)) = n + 1
H
dim(Val(`n1)) = ?
H
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
dim(Val(`np)) = ∞
p 6= 1, 2:
• p 6= 1: geodesic ⇐⇒ convex
• p 6= 2: only isometries are translations, coordinate permutations, andreflections in coordinate hyperplanes
![Page 23: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/23.jpg)
Rn with the p-norm
Write `np for Rn with metric d(x , y) =
(∑|xi − yi |p
)1/p(1 ≤ p < ∞).
1 2 p
groupisometrygeodesic
sets
1 2 p
groupisometrygeodesic
sets
dim(Val(`n2)) = n + 1
H
dim(Val(`n1)) = ?
H
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
dim(Val(`np)) = ∞
p 6= 1, 2:
• p 6= 1: geodesic ⇐⇒ convex
• p 6= 2: only isometries are translations, coordinate permutations, andreflections in coordinate hyperplanes
![Page 24: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/24.jpg)
Rn with the p-norm
Write `np for Rn with metric d(x , y) =
(∑|xi − yi |p
)1/p(1 ≤ p < ∞).
1 2 p
groupisometrygeodesic
sets
1 2 p
groupisometrygeodesic
sets
dim(Val(`n2)) = n + 1
H
dim(Val(`n1)) = ?
H
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
dim(Val(`np)) = ∞
p 6= 1, 2:
• p 6= 1: geodesic ⇐⇒ convex
• p 6= 2: only isometries are translations, coordinate permutations, andreflections in coordinate hyperplanes
![Page 25: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/25.jpg)
Rn with the p-norm
Write `np for Rn with metric d(x , y) =
(∑|xi − yi |p
)1/p(1 ≤ p < ∞).
1 2 p
groupisometrygeodesic
sets
1 2 p
groupisometrygeodesic
sets
dim(Val(`n2)) = n + 1
H
dim(Val(`n1)) = ?
H
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
dim(Val(`np)) = ∞
p 6= 1, 2:
• p 6= 1: geodesic ⇐⇒ convex
• p 6= 2: only isometries are translations, coordinate permutations, andreflections in coordinate hyperplanes
![Page 26: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/26.jpg)
Rn with the p-norm
Write `np for Rn with metric d(x , y) =
(∑|xi − yi |p
)1/p(1 ≤ p < ∞).
1 2 p
groupisometrygeodesic
sets
1 2 p
groupisometrygeodesic
sets
dim(Val(`n2)) = n + 1
H
dim(Val(`n1)) = ?
H
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
dim(Val(`np)) = ∞
p 6= 1, 2:
• p 6= 1: geodesic ⇐⇒ convex
• p 6= 2: only isometries are translations, coordinate permutations, andreflections in coordinate hyperplanes
![Page 27: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/27.jpg)
Rn with the p-norm
Write `np for Rn with metric d(x , y) =
(∑|xi − yi |p
)1/p(1 ≤ p < ∞).
1 2 p
groupisometrygeodesic
sets
1 2 p
groupisometrygeodesic
sets
dim(Val(`n2)) = n + 1
H
dim(Val(`n1)) = ?
H
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
dim(Val(`np)) = ∞
p 6= 1, 2:
• p 6= 1: geodesic ⇐⇒ convex
• p 6= 2: only isometries are translations, coordinate permutations, andreflections in coordinate hyperplanes
![Page 28: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/28.jpg)
Rn with the p-norm
Write `np for Rn with metric d(x , y) =
(∑|xi − yi |p
)1/p(1 ≤ p < ∞).
1 2 p
groupisometrygeodesic
sets
1 2 p
groupisometrygeodesic
sets
dim(Val(`n2)) = n + 1
H
dim(Val(`n1)) = ?
H
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
dim(Val(`np)) = ∞
p 6= 1, 2:
• p 6= 1: geodesic ⇐⇒ convex
• p 6= 2: only isometries are translations, coordinate permutations, andreflections in coordinate hyperplanes
![Page 29: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/29.jpg)
Rn with the p-norm
Write `np for Rn with metric d(x , y) =
(∑|xi − yi |p
)1/p(1 ≤ p < ∞).
1 2 p
groupisometrygeodesic
sets
1 2 p
groupisometrygeodesic
sets
dim(Val(`n2)) = n + 1
H
dim(Val(`n1)) = ?
H
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
dim(Val(`np)) = ∞
p 6= 1, 2:
• p 6= 1: geodesic ⇐⇒ convex
• p 6= 2: only isometries are translations, coordinate permutations, andreflections in coordinate hyperplanes
![Page 30: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/30.jpg)
2. Convex geometry in `n1
![Page 31: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/31.jpg)
Geodesic sets in `n1
A subset of Rn is `1-convex if it is geodesic in `n1.
The `1-convex sets include the convex sets—and much more.
Examples:
![Page 32: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/32.jpg)
Geodesic sets in `n1
A subset of Rn is `1-convex if it is geodesic in `n1.
The `1-convex sets include the convex sets—and much more.
Examples:
![Page 33: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/33.jpg)
Geodesic sets in `n1
A subset of Rn is `1-convex if it is geodesic in `n1.
The `1-convex sets include the convex sets—and much more.
Examples:
![Page 34: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/34.jpg)
Geodesic sets in `n1
A subset of Rn is `1-convex if it is geodesic in `n1.
The `1-convex sets include the convex sets—and much more.
Examples:
![Page 35: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/35.jpg)
Why it’s not straightforward
The class of `1-convex sets is not closed under ∩, or +.
What’s going on?
Let A be a metric space. For a, a′ ∈ A, write
Γ(a, a′) = {distance-preserving paths from a to a′ in A}.
X ⊆ A is geodesic iff whenever x , x ′ ∈ X , ∃γ ∈ Γ(x , x ′) : image(γ) ⊆ X .
X ⊆ A is cogeodesic iff whenever x , x ′ ∈ X , ∀γ ∈ Γ(x , x ′), image(γ) ⊆ X .
geodesic cogeodesic
`n2
convex convex
`n1
`1-convex interval I1 × · · · × In
Sometimes the right generalization of ‘convex’ is ‘geodesic’.Sometimes it’s ‘cogeodesic’.
![Page 36: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/36.jpg)
Why it’s not straightforward
The class of `1-convex sets is not closed under ∩
, or +.
What’s going on?
Let A be a metric space. For a, a′ ∈ A, write
Γ(a, a′) = {distance-preserving paths from a to a′ in A}.
X ⊆ A is geodesic iff whenever x , x ′ ∈ X , ∃γ ∈ Γ(x , x ′) : image(γ) ⊆ X .
X ⊆ A is cogeodesic iff whenever x , x ′ ∈ X , ∀γ ∈ Γ(x , x ′), image(γ) ⊆ X .
geodesic cogeodesic
`n2
convex convex
`n1
`1-convex interval I1 × · · · × In
Sometimes the right generalization of ‘convex’ is ‘geodesic’.Sometimes it’s ‘cogeodesic’.
![Page 37: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/37.jpg)
Why it’s not straightforward
The class of `1-convex sets is not closed under ∩, or +.
What’s going on?
Let A be a metric space. For a, a′ ∈ A, write
Γ(a, a′) = {distance-preserving paths from a to a′ in A}.
X ⊆ A is geodesic iff whenever x , x ′ ∈ X , ∃γ ∈ Γ(x , x ′) : image(γ) ⊆ X .
X ⊆ A is cogeodesic iff whenever x , x ′ ∈ X , ∀γ ∈ Γ(x , x ′), image(γ) ⊆ X .
geodesic cogeodesic
`n2
convex convex
`n1
`1-convex interval I1 × · · · × In
Sometimes the right generalization of ‘convex’ is ‘geodesic’.Sometimes it’s ‘cogeodesic’.
![Page 38: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/38.jpg)
Why it’s not straightforward
The class of `1-convex sets is not closed under ∩, or +.
What’s going on?
Let A be a metric space. For a, a′ ∈ A, write
Γ(a, a′) = {distance-preserving paths from a to a′ in A}.
X ⊆ A is geodesic iff whenever x , x ′ ∈ X , ∃γ ∈ Γ(x , x ′) : image(γ) ⊆ X .
X ⊆ A is cogeodesic iff whenever x , x ′ ∈ X , ∀γ ∈ Γ(x , x ′), image(γ) ⊆ X .
geodesic cogeodesic
`n2
convex convex
`n1
`1-convex interval I1 × · · · × In
Sometimes the right generalization of ‘convex’ is ‘geodesic’.Sometimes it’s ‘cogeodesic’.
![Page 39: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/39.jpg)
Why it’s not straightforward
The class of `1-convex sets is not closed under ∩, or +.
What’s going on?
Let A be a metric space. For a, a′ ∈ A, write
Γ(a, a′) = {distance-preserving paths from a to a′ in A}.
X ⊆ A is geodesic iff whenever x , x ′ ∈ X , ∃γ ∈ Γ(x , x ′) : image(γ) ⊆ X .
X ⊆ A is cogeodesic iff whenever x , x ′ ∈ X , ∀γ ∈ Γ(x , x ′), image(γ) ⊆ X .
geodesic cogeodesic
`n2
convex convex
`n1
`1-convex interval I1 × · · · × In
Sometimes the right generalization of ‘convex’ is ‘geodesic’.Sometimes it’s ‘cogeodesic’.
![Page 40: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/40.jpg)
Why it’s not straightforward
The class of `1-convex sets is not closed under ∩, or +.
What’s going on?
Let A be a metric space. For a, a′ ∈ A, write
Γ(a, a′) = {distance-preserving paths from a to a′ in A}.
X ⊆ A is geodesic iff whenever x , x ′ ∈ X , ∃γ ∈ Γ(x , x ′) : image(γ) ⊆ X .
X ⊆ A is cogeodesic iff whenever x , x ′ ∈ X , ∀γ ∈ Γ(x , x ′), image(γ) ⊆ X .
geodesic cogeodesic
`n2
convex convex
`n1
`1-convex interval I1 × · · · × In
Sometimes the right generalization of ‘convex’ is ‘geodesic’.Sometimes it’s ‘cogeodesic’.
![Page 41: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/41.jpg)
Why it’s not straightforward
The class of `1-convex sets is not closed under ∩, or +.
What’s going on?
Let A be a metric space. For a, a′ ∈ A, write
Γ(a, a′) = {distance-preserving paths from a to a′ in A}.
X ⊆ A is geodesic iff whenever x , x ′ ∈ X , ∃γ ∈ Γ(x , x ′) : image(γ) ⊆ X .
X ⊆ A is cogeodesic iff whenever x , x ′ ∈ X , ∀γ ∈ Γ(x , x ′), image(γ) ⊆ X .
geodesic cogeodesic
`n2
convex convex
`n1
`1-convex interval I1 × · · · × In
Sometimes the right generalization of ‘convex’ is ‘geodesic’.Sometimes it’s ‘cogeodesic’.
![Page 42: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/42.jpg)
Why it’s not straightforward
The class of `1-convex sets is not closed under ∩, or +.
What’s going on?
Let A be a metric space. For a, a′ ∈ A, write
Γ(a, a′) = {distance-preserving paths from a to a′ in A}.
X ⊆ A is geodesic iff whenever x , x ′ ∈ X , ∃γ ∈ Γ(x , x ′) : image(γ) ⊆ X .
X ⊆ A is cogeodesic iff whenever x , x ′ ∈ X , ∀γ ∈ Γ(x , x ′), image(γ) ⊆ X .
geodesic cogeodesic
`n2
convex convex
`n1
`1-convex interval I1 × · · · × In
Sometimes the right generalization of ‘convex’ is ‘geodesic’.Sometimes it’s ‘cogeodesic’.
![Page 43: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/43.jpg)
Why it’s not straightforward
The class of `1-convex sets is not closed under ∩, or +.
What’s going on?
Let A be a metric space. For a, a′ ∈ A, write
Γ(a, a′) = {distance-preserving paths from a to a′ in A}.
X ⊆ A is geodesic iff whenever x , x ′ ∈ X , ∃γ ∈ Γ(x , x ′) : image(γ) ⊆ X .
X ⊆ A is cogeodesic iff whenever x , x ′ ∈ X , ∀γ ∈ Γ(x , x ′), image(γ) ⊆ X .
geodesic cogeodesic
`n2 convex
convex
`n1
`1-convex interval I1 × · · · × In
Sometimes the right generalization of ‘convex’ is ‘geodesic’.Sometimes it’s ‘cogeodesic’.
![Page 44: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/44.jpg)
Why it’s not straightforward
The class of `1-convex sets is not closed under ∩, or +.
What’s going on?
Let A be a metric space. For a, a′ ∈ A, write
Γ(a, a′) = {distance-preserving paths from a to a′ in A}.
X ⊆ A is geodesic iff whenever x , x ′ ∈ X , ∃γ ∈ Γ(x , x ′) : image(γ) ⊆ X .
X ⊆ A is cogeodesic iff whenever x , x ′ ∈ X , ∀γ ∈ Γ(x , x ′), image(γ) ⊆ X .
geodesic cogeodesic
`n2 convex convex
`n1
`1-convex interval I1 × · · · × In
Sometimes the right generalization of ‘convex’ is ‘geodesic’.Sometimes it’s ‘cogeodesic’.
![Page 45: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/45.jpg)
Why it’s not straightforward
The class of `1-convex sets is not closed under ∩, or +.
What’s going on?
Let A be a metric space. For a, a′ ∈ A, write
Γ(a, a′) = {distance-preserving paths from a to a′ in A}.
X ⊆ A is geodesic iff whenever x , x ′ ∈ X , ∃γ ∈ Γ(x , x ′) : image(γ) ⊆ X .
X ⊆ A is cogeodesic iff whenever x , x ′ ∈ X , ∀γ ∈ Γ(x , x ′), image(γ) ⊆ X .
geodesic cogeodesic
`n2 convex convex
`n1 `1-convex
interval I1 × · · · × In
Sometimes the right generalization of ‘convex’ is ‘geodesic’.Sometimes it’s ‘cogeodesic’.
![Page 46: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/46.jpg)
Why it’s not straightforward
The class of `1-convex sets is not closed under ∩, or +.
What’s going on?
Let A be a metric space. For a, a′ ∈ A, write
Γ(a, a′) = {distance-preserving paths from a to a′ in A}.
X ⊆ A is geodesic iff whenever x , x ′ ∈ X , ∃γ ∈ Γ(x , x ′) : image(γ) ⊆ X .
X ⊆ A is cogeodesic iff whenever x , x ′ ∈ X , ∀γ ∈ Γ(x , x ′), image(γ) ⊆ X .
geodesic cogeodesic
`n2 convex convex
`n1 `1-convex interval I1 × · · · × In
Sometimes the right generalization of ‘convex’ is ‘geodesic’.Sometimes it’s ‘cogeodesic’.
![Page 47: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/47.jpg)
Why it’s not straightforward
The class of `1-convex sets is not closed under ∩, or +.
What’s going on?
Let A be a metric space. For a, a′ ∈ A, write
Γ(a, a′) = {distance-preserving paths from a to a′ in A}.
X ⊆ A is geodesic iff whenever x , x ′ ∈ X , ∃γ ∈ Γ(x , x ′) : image(γ) ⊆ X .
X ⊆ A is cogeodesic iff whenever x , x ′ ∈ X , ∀γ ∈ Γ(x , x ′), image(γ) ⊆ X .
geodesic cogeodesic
`n2 convex convex
`n1 `1-convex interval I1 × · · · × In
Sometimes the right generalization of ‘convex’ is ‘geodesic’.Sometimes it’s ‘cogeodesic’.
![Page 48: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/48.jpg)
Some basic properties of `1-convex sets
•
Convex`1-convex
∩
convexinterval
=
convex`1-convex
•
Convex`1-convex
+
convexinterval
=
convex`1-convex
•
If X and Y are closed sets with X ∪ Y
convex,`1-convex,
and I is
convex,an interval,
then
(X ∩ Y ) + I = (X + I ) ∩ (Y + I ).
• If X and Y are closed sets then
X , Y , X ∪ Y `1-convex ⇒ X ∩ Y `1-convex.
![Page 49: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/49.jpg)
Some basic properties of `1-convex sets
• Convex
`1-convex
∩ convex
interval
= convex
`1-convex
•
Convex`1-convex
+
convexinterval
=
convex`1-convex
•
If X and Y are closed sets with X ∪ Y
convex,`1-convex,
and I is
convex,an interval,
then
(X ∩ Y ) + I = (X + I ) ∩ (Y + I ).
• If X and Y are closed sets then
X , Y , X ∪ Y `1-convex ⇒ X ∩ Y `1-convex.
![Page 50: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/50.jpg)
Some basic properties of `1-convex sets
•
Convex
`1-convex ∩
convex
interval =
convex
`1-convex
•
Convex`1-convex
+
convexinterval
=
convex`1-convex
•
If X and Y are closed sets with X ∪ Y
convex,`1-convex,
and I is
convex,an interval,
then
(X ∩ Y ) + I = (X + I ) ∩ (Y + I ).
• If X and Y are closed sets then
X , Y , X ∪ Y `1-convex ⇒ X ∩ Y `1-convex.
![Page 51: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/51.jpg)
Some basic properties of `1-convex sets
•
Convex
`1-convex ∩
convex
interval =
convex
`1-convex
• Convex
`1-convex
+ convex
interval
= convex
`1-convex
•
If X and Y are closed sets with X ∪ Y
convex,`1-convex,
and I is
convex,an interval,
then
(X ∩ Y ) + I = (X + I ) ∩ (Y + I ).
• If X and Y are closed sets then
X , Y , X ∪ Y `1-convex ⇒ X ∩ Y `1-convex.
![Page 52: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/52.jpg)
Some basic properties of `1-convex sets
•
Convex
`1-convex ∩
convex
interval =
convex
`1-convex
•
Convex
`1-convex +
convex
interval =
convex
`1-convex
•
If X and Y are closed sets with X ∪ Y
convex,`1-convex,
and I is
convex,an interval,
then
(X ∩ Y ) + I = (X + I ) ∩ (Y + I ).
• If X and Y are closed sets then
X , Y , X ∪ Y `1-convex ⇒ X ∩ Y `1-convex.
![Page 53: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/53.jpg)
Some basic properties of `1-convex sets
•
Convex
`1-convex ∩
convex
interval =
convex
`1-convex
•
Convex
`1-convex +
convex
interval =
convex
`1-convex
•
If X and Y are closed sets with X ∪ Y
convex,`1-convex,
and I is
convex,an interval,
then
(X ∩ Y ) + I = (X + I ) ∩ (Y + I ).
• If X and Y are closed sets then
X , Y , X ∪ Y `1-convex ⇒ X ∩ Y `1-convex.
![Page 54: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/54.jpg)
Some basic properties of `1-convex sets
•
Convex
`1-convex ∩
convex
interval =
convex
`1-convex
•
Convex
`1-convex +
convex
interval =
convex
`1-convex
• If X and Y are closed sets with X ∪ Y convex,
`1-convex,
and I is convex,
an interval,
then
(X ∩ Y ) + I = (X + I ) ∩ (Y + I ).
• If X and Y are closed sets then
X , Y , X ∪ Y `1-convex ⇒ X ∩ Y `1-convex.
![Page 55: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/55.jpg)
Some basic properties of `1-convex sets
•
Convex
`1-convex ∩
convex
interval =
convex
`1-convex
•
Convex
`1-convex +
convex
interval =
convex
`1-convex
• If X and Y are closed sets with X ∪ Y
convex,
`1-convex,and I is
convex,
an interval, then
(X ∩ Y ) + I = (X + I ) ∩ (Y + I ).
• If X and Y are closed sets then
X , Y , X ∪ Y `1-convex ⇒ X ∩ Y `1-convex.
![Page 56: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/56.jpg)
Some basic properties of `1-convex sets
•
Convex
`1-convex ∩
convex
interval =
convex
`1-convex
•
Convex
`1-convex +
convex
interval =
convex
`1-convex
• If X and Y are closed sets with X ∪ Y
convex,
`1-convex,and I is
convex,
an interval, then
(X ∩ Y ) + I = (X + I ) ∩ (Y + I ).
• If X and Y are closed sets then
X , Y , X ∪ Y `1-convex ⇒ X ∩ Y `1-convex.
![Page 57: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/57.jpg)
3. Integral geometry in `n1
![Page 58: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/58.jpg)
The `1-intrinsic volumes
A coordinate subspace of Rn is a subspace spanned by some subset of thestandard basis.
For 0 ≤ i ≤ n, write
Gr′n,i = {i-dimensional coordinate subspaces of Rn}
(a finite set).
For P ∈ Gr′n,i , write orthogonal projection Rn → P as X 7→ X |P.
The
ith intrinsic volumeith `1-intrinsic volume
of a compact
convex`1-convex
set X is
Vi (X ) = const ·∫
Grn,i
Voli (X |P) dP.V ′i (X ) =
∑P∈Gr′n,i
Voli (X |P).
It is a continuous invariant valuation on `1-convex sets,homogeneous of degree i .
![Page 59: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/59.jpg)
The `1-intrinsic volumes
A coordinate subspace of Rn is a subspace spanned by some subset of thestandard basis.
For 0 ≤ i ≤ n, write
Gr′n,i = {i-dimensional coordinate subspaces of Rn}
(a finite set).
For P ∈ Gr′n,i , write orthogonal projection Rn → P as X 7→ X |P.
The
ith intrinsic volumeith `1-intrinsic volume
of a compact
convex`1-convex
set X is
Vi (X ) = const ·∫
Grn,i
Voli (X |P) dP.V ′i (X ) =
∑P∈Gr′n,i
Voli (X |P).
It is a continuous invariant valuation on `1-convex sets,homogeneous of degree i .
![Page 60: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/60.jpg)
The `1-intrinsic volumes
A coordinate subspace of Rn is a subspace spanned by some subset of thestandard basis.
For 0 ≤ i ≤ n, write
Gr′n,i = {i-dimensional coordinate subspaces of Rn}
(a finite set).
For P ∈ Gr′n,i , write orthogonal projection Rn → P as X 7→ X |P.
The
ith intrinsic volumeith `1-intrinsic volume
of a compact
convex`1-convex
set X is
Vi (X ) = const ·∫
Grn,i
Voli (X |P) dP.V ′i (X ) =
∑P∈Gr′n,i
Voli (X |P).
It is a continuous invariant valuation on `1-convex sets,homogeneous of degree i .
![Page 61: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/61.jpg)
The `1-intrinsic volumes
A coordinate subspace of Rn is a subspace spanned by some subset of thestandard basis.
For 0 ≤ i ≤ n, write
Gr′n,i = {i-dimensional coordinate subspaces of Rn}
(a finite set).
For P ∈ Gr′n,i , write orthogonal projection Rn → P as X 7→ X |P.
The
ith intrinsic volumeith `1-intrinsic volume
of a compact
convex`1-convex
set X is
Vi (X ) = const ·∫
Grn,i
Voli (X |P) dP.V ′i (X ) =
∑P∈Gr′n,i
Voli (X |P).
It is a continuous invariant valuation on `1-convex sets,homogeneous of degree i .
![Page 62: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/62.jpg)
The `1-intrinsic volumes
A coordinate subspace of Rn is a subspace spanned by some subset of thestandard basis.
For 0 ≤ i ≤ n, write
Gr′n,i = {i-dimensional coordinate subspaces of Rn}
(a finite set).
For P ∈ Gr′n,i , write orthogonal projection Rn → P as X 7→ X |P.
The ith intrinsic volume
ith `1-intrinsic volume
of a compact convex
`1-convex
set X is
Vi (X ) = const ·∫
Grn,i
Voli (X |P) dP.
V ′i (X ) =
∑P∈Gr′n,i
Voli (X |P).
It is a continuous invariant valuation on `1-convex sets,homogeneous of degree i .
![Page 63: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/63.jpg)
The `1-intrinsic volumes
A coordinate subspace of Rn is a subspace spanned by some subset of thestandard basis.
For 0 ≤ i ≤ n, write
Gr′n,i = {i-dimensional coordinate subspaces of Rn}
(a finite set).
For P ∈ Gr′n,i , write orthogonal projection Rn → P as X 7→ X |P.
The
ith intrinsic volume
ith `1-intrinsic volume of a compact
convex
`1-convex set X is
Vi (X ) = const ·∫
Grn,i
Voli (X |P) dP.
V ′i (X ) =
∑P∈Gr′n,i
Voli (X |P).
It is a continuous invariant valuation on `1-convex sets,homogeneous of degree i .
![Page 64: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/64.jpg)
The `1-intrinsic volumes
A coordinate subspace of Rn is a subspace spanned by some subset of thestandard basis.
For 0 ≤ i ≤ n, write
Gr′n,i = {i-dimensional coordinate subspaces of Rn}
(a finite set).
For P ∈ Gr′n,i , write orthogonal projection Rn → P as X 7→ X |P.
The
ith intrinsic volume
ith `1-intrinsic volume of a compact
convex
`1-convex set X is
Vi (X ) = const ·∫
Grn,i
Voli (X |P) dP.
V ′i (X ) =
∑P∈Gr′n,i
Voli (X |P).
It is a continuous invariant valuation on `1-convex sets
,homogeneous of degree i .
![Page 65: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/65.jpg)
The `1-intrinsic volumes
A coordinate subspace of Rn is a subspace spanned by some subset of thestandard basis.
For 0 ≤ i ≤ n, write
Gr′n,i = {i-dimensional coordinate subspaces of Rn}
(a finite set).
For P ∈ Gr′n,i , write orthogonal projection Rn → P as X 7→ X |P.
The
ith intrinsic volume
ith `1-intrinsic volume of a compact
convex
`1-convex set X is
Vi (X ) = const ·∫
Grn,i
Voli (X |P) dP.
V ′i (X ) =
∑P∈Gr′n,i
Voli (X |P).
It is a continuous invariant valuation on `1-convex sets,homogeneous of degree i .
![Page 66: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/66.jpg)
A Hadwiger-type theorem
Theorem
The `1-intrinsic volumes V ′0, . . . ,V
′n form a basis for the vector space Val(`n
1)of continuous invariant valuations on `1-convex subsets of Rn.
In particular, dim(Val(`n1)) = n + 1.
The proof relies heavily on specific features of the geometry of `n1.
![Page 67: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/67.jpg)
A Hadwiger-type theorem
Theorem
The `1-intrinsic volumes V ′0, . . . ,V
′n form a basis for the vector space Val(`n
1)of continuous invariant valuations on `1-convex subsets of Rn.
In particular, dim(Val(`n1)) = n + 1.
The proof relies heavily on specific features of the geometry of `n1.
![Page 68: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/68.jpg)
A Hadwiger-type theorem
Theorem
The `1-intrinsic volumes V ′0, . . . ,V
′n form a basis for the vector space Val(`n
1)of continuous invariant valuations on `1-convex subsets of Rn.
In particular, dim(Val(`n1)) = n + 1.
The proof relies heavily on specific features of the geometry of `n1.
![Page 69: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/69.jpg)
A Hadwiger-type theorem
Theorem
The `1-intrinsic volumes V ′0, . . . ,V
′n form a basis for the vector space Val(`n
1)of continuous invariant valuations on `1-convex subsets of Rn.
In particular, dim(Val(`n1)) = n + 1.
The proof relies heavily on specific features of the geometry of `n1.
![Page 70: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/70.jpg)
A Steiner-type formula
Theorem
Let X ⊆ Rn be a compact `1-convex set. Let λ ≥ 0. Then
Vol(X + λ[−1
2 , 12 ]n
)=
n∑i=0
V ′i (X )λn−i .
This uses the unit cube (a ball in `n∞), not the unit ball in `n
1.
There is no Steiner-type formula using the ball.
![Page 71: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/71.jpg)
A Steiner-type formula
Theorem
Let X ⊆ Rn be a compact `1-convex set. Let λ ≥ 0. Then
Vol(X + λ[−1
2 , 12 ]n
)=
n∑i=0
V ′i (X )λn−i .
This uses the unit cube (a ball in `n∞), not the unit ball in `n
1.
There is no Steiner-type formula using the ball.
![Page 72: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/72.jpg)
A Steiner-type formula
Theorem
Let X ⊆ Rn be a compact `1-convex set. Let λ ≥ 0. Then
Vol(X + λ[−1
2 , 12 ]n
)=
n∑i=0
V ′i (X )λn−i .
This uses the unit cube (a ball in `n∞), not the unit ball in `n
1.
There is no Steiner-type formula using the ball.
![Page 73: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/73.jpg)
A Steiner-type formula
Theorem
Let X ⊆ Rn be a compact `1-convex set. Let λ ≥ 0. Then
Vol(X + λ[−1
2 , 12 ]n
)=
n∑i=0
V ′i (X )λn−i .
This uses the unit cube (a ball in `n∞), not the unit ball in `n
1.
There is no Steiner-type formula using the ball.
![Page 74: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/74.jpg)
A Crofton-type formula
For 0 ≤ k ≤ n, write
Graff ′n,k ={k-dimensional affine subspaces of Rn
parallel to some coordinate subspace}.
It carries a natural invariant measure.
Theorem
Let X ⊆ Rn be a compact `1-convex set. Let 0 ≤ k ≤ n. Then
measure({A ∈ Graff ′n,k | X ∩ A 6= ∅}
)= V ′
n−k(X ).
More generally, for 0 ≤ j ≤ k ≤ n,∫Graff′
n,k
V ′j (X ∩ A) dA =
(n + j − k
j
)V ′
n+j−k(X ).
![Page 75: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/75.jpg)
A Crofton-type formula
For 0 ≤ k ≤ n, write
Graff ′n,k ={k-dimensional affine subspaces of Rn
parallel to some coordinate subspace}.
It carries a natural invariant measure.
Theorem
Let X ⊆ Rn be a compact `1-convex set. Let 0 ≤ k ≤ n. Then
measure({A ∈ Graff ′n,k | X ∩ A 6= ∅}
)= V ′
n−k(X ).
More generally, for 0 ≤ j ≤ k ≤ n,∫Graff′
n,k
V ′j (X ∩ A) dA =
(n + j − k
j
)V ′
n+j−k(X ).
![Page 76: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/76.jpg)
A Crofton-type formula
For 0 ≤ k ≤ n, write
Graff ′n,k ={k-dimensional affine subspaces of Rn
parallel to some coordinate subspace}.
It carries a natural invariant measure.
Theorem
Let X ⊆ Rn be a compact `1-convex set. Let 0 ≤ k ≤ n. Then
measure({A ∈ Graff ′n,k | X ∩ A 6= ∅}
)= V ′
n−k(X ).
More generally, for 0 ≤ j ≤ k ≤ n,∫Graff′
n,k
V ′j (X ∩ A) dA =
(n + j − k
j
)V ′
n+j−k(X ).
![Page 77: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/77.jpg)
A Crofton-type formula
For 0 ≤ k ≤ n, write
Graff ′n,k ={k-dimensional affine subspaces of Rn
parallel to some coordinate subspace}.
It carries a natural invariant measure.
Theorem
Let X ⊆ Rn be a compact `1-convex set. Let 0 ≤ k ≤ n.
Then
measure({A ∈ Graff ′n,k | X ∩ A 6= ∅}
)= V ′
n−k(X ).
More generally, for 0 ≤ j ≤ k ≤ n,∫Graff′
n,k
V ′j (X ∩ A) dA =
(n + j − k
j
)V ′
n+j−k(X ).
![Page 78: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/78.jpg)
A Crofton-type formula
For 0 ≤ k ≤ n, write
Graff ′n,k ={k-dimensional affine subspaces of Rn
parallel to some coordinate subspace}.
It carries a natural invariant measure.
Theorem
Let X ⊆ Rn be a compact `1-convex set. Let 0 ≤ k ≤ n. Then
measure({A ∈ Graff ′n,k | X ∩ A 6= ∅}
)= V ′
n−k(X ).
More generally, for 0 ≤ j ≤ k ≤ n,∫Graff′
n,k
V ′j (X ∩ A) dA =
(n + j − k
j
)V ′
n+j−k(X ).
![Page 79: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/79.jpg)
A Crofton-type formula
For 0 ≤ k ≤ n, write
Graff ′n,k ={k-dimensional affine subspaces of Rn
parallel to some coordinate subspace}.
It carries a natural invariant measure.
Theorem
Let X ⊆ Rn be a compact `1-convex set. Let 0 ≤ k ≤ n. Then
measure({A ∈ Graff ′n,k | X ∩ A 6= ∅}
)= V ′
n−k(X ).
More generally, for 0 ≤ j ≤ k ≤ n,∫Graff′
n,k
V ′j (X ∩ A) dA =
(n + j − k
j
)V ′
n+j−k(X ).
![Page 80: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/80.jpg)
Kinematic formulas
Write Gn for the isometry group of `n1. It carries a natural invariant measure.
Theorem
Let X ⊆ Rn be a compact `1-convex set, and I ⊆ Rn a compact interval.Then
measure({g ∈ Gn | gX ∩ I 6= ∅}
)=
∑i+j=n
(n
i
)−1
V ′i (X )V ′
j (I ).
More generally, for 0 ≤ k ≤ n,∫Gn
V ′k(gX ∩ I ) dg =
∑i+j=n+k
(n
i
)−1( j
k
)V ′
i (X )V ′j (I ).
The constants in the Crofton and kinematic formulas are the same as in theclassical case, except that the flag coefficients
[mr
]are replaced by the
binomial coefficients(m
r
).
![Page 81: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/81.jpg)
Kinematic formulasWrite Gn for the isometry group of `n
1.
It carries a natural invariant measure.
Theorem
Let X ⊆ Rn be a compact `1-convex set, and I ⊆ Rn a compact interval.Then
measure({g ∈ Gn | gX ∩ I 6= ∅}
)=
∑i+j=n
(n
i
)−1
V ′i (X )V ′
j (I ).
More generally, for 0 ≤ k ≤ n,∫Gn
V ′k(gX ∩ I ) dg =
∑i+j=n+k
(n
i
)−1( j
k
)V ′
i (X )V ′j (I ).
The constants in the Crofton and kinematic formulas are the same as in theclassical case, except that the flag coefficients
[mr
]are replaced by the
binomial coefficients(m
r
).
![Page 82: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/82.jpg)
Kinematic formulasWrite Gn for the isometry group of `n
1. It carries a natural invariant measure.
Theorem
Let X ⊆ Rn be a compact `1-convex set, and I ⊆ Rn a compact interval.Then
measure({g ∈ Gn | gX ∩ I 6= ∅}
)=
∑i+j=n
(n
i
)−1
V ′i (X )V ′
j (I ).
More generally, for 0 ≤ k ≤ n,∫Gn
V ′k(gX ∩ I ) dg =
∑i+j=n+k
(n
i
)−1( j
k
)V ′
i (X )V ′j (I ).
The constants in the Crofton and kinematic formulas are the same as in theclassical case, except that the flag coefficients
[mr
]are replaced by the
binomial coefficients(m
r
).
![Page 83: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/83.jpg)
Kinematic formulasWrite Gn for the isometry group of `n
1. It carries a natural invariant measure.
Theorem
Let X ⊆ Rn be a compact `1-convex set, and I ⊆ Rn a compact interval.
Then
measure({g ∈ Gn | gX ∩ I 6= ∅}
)=
∑i+j=n
(n
i
)−1
V ′i (X )V ′
j (I ).
More generally, for 0 ≤ k ≤ n,∫Gn
V ′k(gX ∩ I ) dg =
∑i+j=n+k
(n
i
)−1( j
k
)V ′
i (X )V ′j (I ).
The constants in the Crofton and kinematic formulas are the same as in theclassical case, except that the flag coefficients
[mr
]are replaced by the
binomial coefficients(m
r
).
![Page 84: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/84.jpg)
Kinematic formulasWrite Gn for the isometry group of `n
1. It carries a natural invariant measure.
Theorem
Let X ⊆ Rn be a compact `1-convex set, and I ⊆ Rn a compact interval.Then
measure({g ∈ Gn | gX ∩ I 6= ∅}
)=
∑i+j=n
(n
i
)−1
V ′i (X )V ′
j (I ).
More generally, for 0 ≤ k ≤ n,∫Gn
V ′k(gX ∩ I ) dg =
∑i+j=n+k
(n
i
)−1( j
k
)V ′
i (X )V ′j (I ).
The constants in the Crofton and kinematic formulas are the same as in theclassical case, except that the flag coefficients
[mr
]are replaced by the
binomial coefficients(m
r
).
![Page 85: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/85.jpg)
Kinematic formulasWrite Gn for the isometry group of `n
1. It carries a natural invariant measure.
Theorem
Let X ⊆ Rn be a compact `1-convex set, and I ⊆ Rn a compact interval.Then
measure({g ∈ Gn | gX ∩ I 6= ∅}
)=
∑i+j=n
(n
i
)−1
V ′i (X )V ′
j (I ).
More generally, for 0 ≤ k ≤ n,∫Gn
V ′k(gX ∩ I ) dg =
∑i+j=n+k
(n
i
)−1( j
k
)V ′
i (X )V ′j (I ).
The constants in the Crofton and kinematic formulas are the same as in theclassical case, except that the flag coefficients
[mr
]are replaced by the
binomial coefficients(m
r
).
![Page 86: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/86.jpg)
Kinematic formulasWrite Gn for the isometry group of `n
1. It carries a natural invariant measure.
Theorem
Let X ⊆ Rn be a compact `1-convex set, and I ⊆ Rn a compact interval.Then
measure({g ∈ Gn | gX ∩ I 6= ∅}
)=
∑i+j=n
(n
i
)−1
V ′i (X )V ′
j (I ).
More generally, for 0 ≤ k ≤ n,∫Gn
V ′k(gX ∩ I ) dg =
∑i+j=n+k
(n
i
)−1( j
k
)V ′
i (X )V ′j (I ).
The constants in the Crofton and kinematic formulas are the same as in theclassical case
, except that the flag coefficients[mr
]are replaced by the
binomial coefficients(m
r
).
![Page 87: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/87.jpg)
Kinematic formulasWrite Gn for the isometry group of `n
1. It carries a natural invariant measure.
Theorem
Let X ⊆ Rn be a compact `1-convex set, and I ⊆ Rn a compact interval.Then
measure({g ∈ Gn | gX ∩ I 6= ∅}
)=
∑i+j=n
(n
i
)−1
V ′i (X )V ′
j (I ).
More generally, for 0 ≤ k ≤ n,∫Gn
V ′k(gX ∩ I ) dg =
∑i+j=n+k
(n
i
)−1( j
k
)V ′
i (X )V ′j (I ).
The constants in the Crofton and kinematic formulas are the same as in theclassical case, except that the flag coefficients
[mr
]are replaced by the
binomial coefficients(m
r
).
![Page 88: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/88.jpg)
Digression: magnitude
There is a single category-theoretic definition that producesinvariants of ‘size’ in several branches of mathematics.
E.g. in set theory: cardinality. In topology: Euler characteristic.
For metric spaces, it produces a real-valued invariant called magnitude.
For compact subsets X of `n1 or `n
2, it can be defined (M. Meckes) by
|X | = sup
{µ(X )2∫
X
∫X e−d(x ,y) dµ(x) dµ(y)
∣∣∣∣ signed Borel measures µ on X
}.
Conjecture()
For
compact convexcompact `1-convexconvex bodies X ⊆
`n2
,
|X | =n∑
i=0
1
i ! Vol(B i )
ViV ′i
(X ).
![Page 89: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/89.jpg)
Digression: magnitude
There is a single category-theoretic definition that producesinvariants of ‘size’ in several branches of mathematics.
E.g. in set theory: cardinality. In topology: Euler characteristic.
For metric spaces, it produces a real-valued invariant called magnitude.
For compact subsets X of `n1 or `n
2, it can be defined (M. Meckes) by
|X | = sup
{µ(X )2∫
X
∫X e−d(x ,y) dµ(x) dµ(y)
∣∣∣∣ signed Borel measures µ on X
}.
Conjecture()
For
compact convexcompact `1-convexconvex bodies X ⊆
`n2
,
|X | =n∑
i=0
1
i ! Vol(B i )
ViV ′i
(X ).
![Page 90: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/90.jpg)
Digression: magnitude
There is a single category-theoretic definition that producesinvariants of ‘size’ in several branches of mathematics.
E.g. in set theory: cardinality. In topology: Euler characteristic.
For metric spaces, it produces a real-valued invariant called magnitude.
For compact subsets X of `n1 or `n
2, it can be defined (M. Meckes) by
|X | = sup
{µ(X )2∫
X
∫X e−d(x ,y) dµ(x) dµ(y)
∣∣∣∣ signed Borel measures µ on X
}.
Conjecture()
For
compact convexcompact `1-convexconvex bodies X ⊆
`n2
,
|X | =n∑
i=0
1
i ! Vol(B i )
ViV ′i
(X ).
![Page 91: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/91.jpg)
Digression: magnitude
There is a single category-theoretic definition that producesinvariants of ‘size’ in several branches of mathematics.
E.g. in set theory: cardinality. In topology: Euler characteristic.
For metric spaces, it produces a real-valued invariant called magnitude.
For compact subsets X of `n1 or `n
2, it can be defined (M. Meckes) by
|X | = sup
{µ(X )2∫
X
∫X e−d(x ,y) dµ(x) dµ(y)
∣∣∣∣ signed Borel measures µ on X
}.
Conjecture()
For
compact convexcompact `1-convexconvex bodies X ⊆
`n2
,
|X | =n∑
i=0
1
i ! Vol(B i )
ViV ′i
(X ).
![Page 92: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/92.jpg)
Digression: magnitude
There is a single category-theoretic definition that producesinvariants of ‘size’ in several branches of mathematics.
E.g. in set theory: cardinality. In topology: Euler characteristic.
For metric spaces, it produces a real-valued invariant called magnitude.
For compact subsets X of `n1 or `n
2, it can be defined (M. Meckes) by
|X | = sup
{µ(X )2∫
X
∫X e−d(x ,y) dµ(x) dµ(y)
∣∣∣∣ signed Borel measures µ on X
}.
Conjecture()
For
compact convexcompact `1-convexconvex bodies X ⊆
`n2
,
|X | =n∑
i=0
1
i ! Vol(B i )
ViV ′i
(X ).
![Page 93: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/93.jpg)
Digression: magnitude
There is a single category-theoretic definition that producesinvariants of ‘size’ in several branches of mathematics.
E.g. in set theory: cardinality. In topology: Euler characteristic.
For metric spaces, it produces a real-valued invariant called magnitude.
For compact subsets X of `n1 or `n
2, it can be defined (M. Meckes) by
|X | = sup
{µ(X )2∫
X
∫X e−d(x ,y) dµ(x) dµ(y)
∣∣∣∣ signed Borel measures µ on X
}.
Conjecture (with S. Willerton)
For
compact convexcompact `1-convexconvex bodies X ⊆
`n2
,
|X | =n∑
i=0
1
i ! Vol(B i )
ViV ′i
(X ).
![Page 94: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/94.jpg)
Digression: magnitude
There is a single category-theoretic definition that producesinvariants of ‘size’ in several branches of mathematics.
E.g. in set theory: cardinality. In topology: Euler characteristic.
For metric spaces, it produces a real-valued invariant called magnitude.
For compact subsets X of `n1 or `n
2, it can be defined (M. Meckes) by
|X | = sup
{µ(X )2∫
X
∫X e−d(x ,y) dµ(x) dµ(y)
∣∣∣∣ signed Borel measures µ on X
}.
Conjecture (with S. Willerton)
For compact convex
compact `1-convexconvex bodies
X ⊆ `n2,
|X | =
n∑i=0
1
i ! Vol(B i )
ViV ′i
(X ).
![Page 95: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/95.jpg)
Digression: magnitude
There is a single category-theoretic definition that producesinvariants of ‘size’ in several branches of mathematics.
E.g. in set theory: cardinality. In topology: Euler characteristic.
For metric spaces, it produces a real-valued invariant called magnitude.
For compact subsets X of `n1 or `n
2, it can be defined (M. Meckes) by
|X | = sup
{µ(X )2∫
X
∫X e−d(x ,y) dµ(x) dµ(y)
∣∣∣∣ signed Borel measures µ on X
}.
Conjecture (with S. Willerton)
For compact convex
compact `1-convexconvex bodies
X ⊆ `n2,
|X | =n∑
i=0
1
i ! Vol(B i )Vi
V ′i
(X ).
![Page 96: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/96.jpg)
Digression: magnitude
There is a single category-theoretic definition that producesinvariants of ‘size’ in several branches of mathematics.
E.g. in set theory: cardinality. In topology: Euler characteristic.
For metric spaces, it produces a real-valued invariant called magnitude.
For compact subsets X of `n1 or `n
2, it can be defined (M. Meckes) by
|X | = sup
{µ(X )2∫
X
∫X e−d(x ,y) dµ(x) dµ(y)
∣∣∣∣ signed Borel measures µ on X
}.
Conjecture()
For
compact convex
compact `1-convex
convex bodies
X ⊆ `n1,
|X | =n∑
i=0
1
i ! Vol(B i )
Vi
V ′i (X ).
![Page 97: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/97.jpg)
Digression: magnitude
There is a single category-theoretic definition that producesinvariants of ‘size’ in several branches of mathematics.
E.g. in set theory: cardinality. In topology: Euler characteristic.
For metric spaces, it produces a real-valued invariant called magnitude.
For compact subsets X of `n1 or `n
2, it can be defined (M. Meckes) by
|X | = sup
{µ(X )2∫
X
∫X e−d(x ,y) dµ(x) dµ(y)
∣∣∣∣ signed Borel measures µ on X
}.
Theoremj()
For
compact convexcompact `1-convex
convex bodies X ⊆ `n1,
|X | =n∑
i=0
1
i ! Vol(B i )
Vi
V ′i (X ).
![Page 98: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/98.jpg)
Summary
![Page 99: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/99.jpg)
Summary
1 2 p
groupisometrygeodesic
sets
p = 1, 2: very similar to each otherHH
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
p 6= 1, 2: different
`n1 and `n
2 have strikingly similar integral geometry, even though:
• they have different geodesic subsets
• they have different isometry groups
• the proofs of the theorems are quite different.
![Page 100: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/100.jpg)
Summary
1 2 p
groupisometrygeodesic
sets
p = 1, 2: very similar to each otherHH
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
p 6= 1, 2: different
`n1 and `n
2 have strikingly similar integral geometry, even though:
• they have different geodesic subsets
• they have different isometry groups
• the proofs of the theorems are quite different.
![Page 101: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/101.jpg)
Summary
1 2 p
groupisometrygeodesic
sets
p = 1, 2: very similar to each otherHH
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
p 6= 1, 2: different
`n1 and `n
2 have strikingly similar integral geometry, even though:
• they have different geodesic subsets
• they have different isometry groups
• the proofs of the theorems are quite different.
![Page 102: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/102.jpg)
Summary
1 2 p
groupisometrygeodesic
sets
p = 1, 2: very similar to each otherHH
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
p 6= 1, 2: different
`n1 and `n
2 have strikingly similar integral geometry, even though:
• they have different geodesic subsets
• they have different isometry groups
• the proofs of the theorems are quite different.
![Page 103: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/103.jpg)
Summary
1 2 p
groupisometrygeodesic
sets
p = 1, 2: very similar to each otherHH
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
p 6= 1, 2: different
`n1 and `n
2 have strikingly similar integral geometry, even though:
• they have different geodesic subsets
• they have different isometry groups
• the proofs of the theorems are quite different.
![Page 104: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/104.jpg)
Summary
1 2 p
groupisometrygeodesic
sets
p = 1, 2: very similar to each otherHH
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
p 6= 1, 2: different
`n1 and `n
2 have strikingly similar integral geometry, even though:
• they have different geodesic subsets
• they have different isometry groups
• the proofs of the theorems are quite different.
![Page 105: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/105.jpg)
Summary
1 2 p
groupisometrygeodesic
sets
p = 1, 2: very similar to each otherHH
︸ ︷︷ ︸ ︸ ︷︷ ︸N N
p 6= 1, 2: different
`n1 and `n
2 have strikingly similar integral geometry, even though:
• they have different geodesic subsets
• they have different isometry groups
• the proofs of the theorems are quite different.
![Page 106: Tom Leinster Glasgow/EPSRCtl/frankfurt/frankfurt_talk.pdfIntegral geometry in metric spaces Typical goal: imitate Hadwiger’s theorem in some metric space A 6= Rn. • X⊆ A is geodesic](https://reader034.fdocuments.us/reader034/viewer/2022050409/5f867a90ec65da33961b88bd/html5/thumbnails/106.jpg)
References
• Tom Leinster, Integral geometry for the 1-norm, arXiv:1012.5881v2.
• Tom Leinster, The magnitude of metric spaces, arXiv:1012.5857.
• Tom Leinster, Simon Willerton, On the asymptotic magnitude ofsubsets of Euclidean space, arXiv:0908.1582.
• Mark Meckes, Positive definite metric spaces, arXiv:1012.5863.