Intereting Posts

English word for a “pavé” in French
Use integration by parts to prove $ \int^\infty_0 x^ne^{-x} dx=n!$
Is $\Bbb Q/\Bbb Z$ artinian as a $\Bbb Z$-module?
Calculate limit with summation index in formula
Height of a tetrahedron
Improve my proof about this $C^\infty$ function
When are we permitted to multiply or divide both sides of an equation by a variable?
A finitely axiomatizable consistent second-order theory without a model
Maximal order of an element in a symmetric group
How to solve Diophantine equations of the form $Axy + Bx + Cy + D = N$?
Proof that negative binomial distribution is a distribution function?
the equivalence between paracompactness and second countablity in a locally Euclidean and $T_2$ space
Measurable function
Permutations to satisfy a challenging restriction
$\tau$ and grouping of prime numbers

In this question the OP mentions the following problem as an exercise on Krein-Milman theorem:

You have a great circular pizza with $n$ toppings. Show that you can divide the pizza equitably among $k$ persons, which means every person gets a piece of pizza with exactly $\frac{1}{k}$ of any of the $n$ topping on it.

I would like to ask both about *interpretation* (formalization) of this exercise and about the solution.

- Connected-ness of the boundary of convex sets in $\mathbb R^n$ , $n>1$ , under additional assumptions of the convex set being compact or bounded
- How to prove that the closed convex hull of a compact subset of a Banach space is compact?
- Algorithm to find the point in a convex polygon closest to an external point
- Are convex function from a convex, bounded and closed set in $\mathbb{R}^n$ continuous?
- On a condition when bounded sets in $\mathbb R^n$ is convex ?
- An explicit construction for an everywhere discontinuous real function with $F((a+b)/2)\leq(F(a)+F(b))/2$?

I am not sure whether I interpreted it correctly. To me it seems that mathematical reformulation of the problem could be that I have functions $f_i\colon X\to [0,1]$ for $i=1,\dots,n$ corresponding to how the toppings are distributed on the surface of pizza – the space $X$. And I would like to obtain a decomposition $X=A_1,\dots,A_k$ such that for any $i=1,\dots,n$ I have $\int_{A_1} f_i = \dots = \int_{A_k} f_i$, i.e., each person has the same portion from each of the toppings.

I am not sure whether this is the correct formalization. (Certainly the fact that Krein-Milman is supposed to be used is some kind of a hint on how the problem is supposed to be interpreted.)

But even if my interpretation is correct, I am not sure where to start. To apply Krein-Milman theorem, I need some locally convex topological vector space and some compact convex subset. I am not sure what space I could choose, since based on the above formulation it seems that the elements of this spaces should be somehow related to divisions of the circle.

Another possible interpretation I can think of is that I work with the functions $\{1,2,\dots,k\} \to \mathbb R^n$ representing how much of each topping gets the $k$-the person. It is certainly possible that $k$-the person gets the whole pizza, which would correspond to $f(k)=(1,1,\dots,1)$ and $f(i)=(0,0,\dots,0)$ for $i\ne k$. By I do not see how to show that the set of all admissible possibilities is convex. And if I can show that it is convex, then I do not really need Krein-Milman theorem.

- Inequivalent Hilbert norms on given vector space
- Preservation of Lipschitz Constant by Convolutions
- How to determine whether a function is concave, convex, quasi-concave and quasi-convex
- Uniform convexity of equivalent intersection norm
- Positive elements in * Algebras
- Construct dense subspace of codimension $n$ for all $n$
- If every $x\in X$ is uniquely $x=y+z$ then $\|z\|+\|y\|\leq C\|x\|$
- Cohomology with Coefficients in the sheaf of distributions
- Can every closed subspace be realized as kernel of a bounded linear operator from a Banach space to itself?
- idempotents in a subalgebra of $B(H)$.

I think this refers to the range of vector valued measures: If $\mu_1,\ldots,\mu_n$ are real nonatomic measures on a measurable space $(\Omega,\mathcal B)$ then $\mu:\mathcal B \to \mathbb R^n$, $B\mapsto (\mu_1(B),\ldots,\mu_n(B))$ has a compact and *convex* range.

This is Theorem 5.5 in Rudin’s *Functional Analysis* and indeed an application of the Krein-Milman theorem.

- Proving zeros inside a disk using Maximum Principle?
- What's a good book on advanced linear algebra?
- Fixed-point iteration for $x=\tan(x)$
- A curious property of integers
- How many ways are there to place $l$ balls in $m$ boxes each of which has $n$ compartments (2)?
- Gradient and Jacobian row and column conventions
- If a subring of a ring R has identity, does R also have the identity?
- Centre of a quadric
- If $A,B \triangleleft G$ where $G/A$ is perfect and $G/B$ is solvable, then $AB=G$
- Prove that $\lambda = 0$ is an eigenvalue if and only if A is singular.
- If $K^{\mathrm{Gal}}/F$ is obtained by adjoining $n$th roots, must $K/F$ be as well?
- Do disconnected complex lie groups exist?
- Proving $\sum_{k=1}^n k\cdot k! = (n+1)!-1$ without using mathematical Induction.
- Decay estimates for the derivatives of the solutions to the heat equation
- Prove by Combinatorial Argument that $\binom{n}{k}= \frac{n}{k} \binom{n-1}{k-1}$