nhaliday + homogeneity   8

The Brunn-Minkowski Inequality | The n-Category Café
For instance, this happens in the plane when A is a horizontal line segment and B is a vertical line segment. There’s obviously no hope of getting an equation for Vol(A+B) in terms of Vol(A) and Vol(B). But this example suggests that we might be able to get an inequality, stating that Vol(A+B) is at least as big as some function of Vol(A) and Vol(B).

The Brunn-Minkowski inequality does this, but it’s really about linearized volume, Vol^{1/n}, rather than volume itself. If length is measured in metres then so is Vol^{1/n}.


Nice post, Tom. To readers whose background isn’t in certain areas of geometry and analysis, it’s not obvious that the Brunn–Minkowski inequality is more than a curiosity, the proof of the isoperimetric inequality notwithstanding. So let me add that Brunn–Minkowski is an absolutely vital tool in many parts of geometry, analysis, and probability theory, with extremely diverse applications. Gardner’s survey is a great place to start, but by no means exhaustive.

I’ll also add a couple remarks about regularity issues. You point out that Brunn–Minkowski holds “in the vast generality of measurable sets”, but it may not be initially obvious that this needs to be interpreted as “when A, B, and A+B are all Lebesgue measurable”, since A+B need not be measurable when A and B are (although you can modify the definition of A+B to work for arbitrary measurable A and B; this is discussed by Gardner).
mathtariat  math  estimate  exposition  geometry  math.MG  measure  links  regularity  survey  papers  org:bleg  nibble  homogeneity  brunn-minkowski  curvature  convexity-curvature 
february 2017 by nhaliday
soft question - Thinking and Explaining - MathOverflow
- good question from Bill Thurston
- great answers by Terry Tao, fedja, Minhyong Kim, gowers, etc.

Terry Tao:
- symmetry as blurring/vibrating/wobbling, scale invariance
- anthropomorphization, adversarial perspective for estimates/inequalities/quantifiers, spending/economy

fedja walks through his though-process from another answer

Minhyong Kim: anthropology of mathematical philosophizing

Per Vognsen: normality as isotropy
comment: conjugate subgroup gHg^-1 ~ "H but somewhere else in G"

gowers: hidden things in basic mathematics/arithmetic
comment by Ryan Budney: x sin(x) via x -> (x, sin(x)), (x, y) -> xy
I kinda get what he's talking about but needed to use Mathematica to get the initial visualization down.
To remind myself later:
- xy can be easily visualized by juxtaposing the two parabolae x^2 and -x^2 diagonally
- x sin(x) can be visualized along that surface by moving your finger along the line (x, 0) but adding some oscillations in y direction according to sin(x)
q-n-a  soft-question  big-list  intuition  communication  teaching  math  thinking  writing  thurston  lens  overflow  synthesis  hi-order-bits  👳  insight  meta:math  clarity  nibble  giants  cartoons  gowers  mathtariat  better-explained  stories  the-trenches  problem-solving  homogeneity  symmetry  fedja  examples  philosophy  big-picture  vague  isotropy  reflection  spatial  ground-up  visual-understanding  polynomials  dimensionality  math.GR  worrydream  scholar  🎓  neurons  metabuch  yoga  retrofit  mental-math  metameta  wisdom  wordlessness  oscillation  operational  adversarial  quantifiers-sums  exposition  explanation  tricki  concrete  s:***  manifolds  invariance  dynamical  info-dynamics  cool  direction  elegance  heavyweights  analysis  guessing  grokkability-clarity  technical-writing 
january 2017 by nhaliday

bundles : abstractmathproblem-solving

related tags

academia  acm  acmtariat  advanced  adversarial  analysis  apollonian-dionysian  applications  approximation  arrows  atoms  better-explained  big-list  big-picture  brunn-minkowski  cartoons  certificates-recognition  characterization  chart  checklists  clarity  clever-rats  combo-optimization  communication  concentration-of-measure  concept  conceptual-vocab  concrete  confluence  convexity-curvature  cool  course  curvature  deep-learning  differential  dimensionality  direction  distribution  dynamical  elegance  ends-means  entropy-like  estimate  examples  explanation  exposition  fedja  fields  finiteness  fourier  geometry  giants  gowers  graph-theory  graphical-models  graphs  grokkability-clarity  ground-up  guessing  heavyweights  hi-order-bits  homogeneity  ideas  impact  info-dynamics  inner-product  insight  intuition  invariance  isotropy  knowledge  lecture-notes  lens  levers  limits  linear-algebra  linearity  links  list  machine-learning  manifolds  martingale  math  math.AG  math.CA  math.CO  math.GN  math.GR  math.MG  mathtariat  measure  mental-math  meta:math  metabuch  metameta  metric-space  mit  model-class  multi  neurons  nibble  norms  operational  optimization  org:bleg  oscillation  overflow  p:***  papers  pdf  philosophy  pigeonhole-markov  polynomials  pragmatic  pre-2013  prioritizing  probability  problem-solving  proofs  q-n-a  quantifiers-sums  quixotic  ratty  reflection  regularity  retrofit  roadmap  s:*  s:***  scholar  scholar-pack  series  skeleton  smoothness  soft-question  spatial  spectral  stochastic-processes  stories  structure  studying  survey  symmetry  synthesis  tcs  teaching  technical-writing  telos-atelos  tensors  the-trenches  thinking  thurston  tightness  toolkit  top-n  topology  track-record  tricki  tricks  unit  vague  visual-understanding  wisdom  wordlessness  worrydream  writing  yoga  🎓  👳 

Copy this bookmark: