intuition   980

« earlier    

general topology - What should be the intuition when working with compactness? - Mathematics Stack Exchange
http://math.stackexchange.com/questions/485822/why-is-compactness-so-important

The situation with compactness is sort of like the above. It turns out that finiteness, which you think of as one concept (in the same way that you think of "Foo" as one concept above), is really two concepts: discreteness and compactness. You've never seen these concepts separated before, though. When people say that compactness is like finiteness, they mean that compactness captures part of what it means to be finite in the same way that shortness captures part of what it means to be Foo.

--

As many have said, compactness is sort of a topological generalization of finiteness. And this is true in a deep sense, because topology deals with open sets, and this means that we often "care about how something behaves on an open set", and for compact spaces this means that there are only finitely many possible behaviors.

--

Compactness does for continuous functions what finiteness does for functions in general.

If a set A is finite then every function f:A→R has a max and a min, and every function f:A→R^n is bounded. If A is compact, the every continuous function from A to R has a max and a min and every continuous function from A to R^n is bounded.

If A is finite then every sequence of members of A has a subsequence that is eventually constant, and "eventually constant" is the only kind of convergence you can talk about without talking about a topology on the set. If A is compact, then every sequence of members of A has a convergent subsequence.
q-n-a  overflow  math  topology  math.GN  concept  finiteness  atoms  intuition  oly  mathtariat  multi  discrete  gowers  motivation  synthesis  hi-order-bits  soft-question  limits  things  nibble  definition  convergence  abstraction 
8 weeks ago by nhaliday

« earlier    

related tags

!basic  5  aaronson  abstraction  acm  acmtariat  additive-combo  additive  adversarial  agile  ai  algebra  alphago  alternativemedicine  analogy  aphorism  aromatherapy  arrows  article  assessment  atoms  bad  banishyourinnercritic  bauch  better-explained  bias-variance  big-list  big-picture  big-surf  bits  boltzmann  book  books  boolean-analysis  borel-cantelli  brunn-minkowski  business  c  cartoons  cause  chakras  characterization  clairsentience  clarity  closure  coarse-fine  coding-theory  commentary  common  communication  comparison  complexity  composition-decomposition  computerscience  concentration-of-measure  concept  conceptual-vocab  concrete  confusion  convergence  convexity  counterexample  creative  criticalthinking  culture  curiosity  data-science  decisionmaking  decisions  deductive  deep-learning  definition  degrees-of-freedom  dementia  design  differential  digitaldesign  dimensionality  direction  discrete  discussion  dkl  duality  duplication  dynamic  dynamical  education  edx  eft  einstein  electricity  electromag  embeddings  emotions  empirical  engineering  entropy-like  ergodic  ernährung  error  essay  essen  essentialoils  estimate  estimation  ethik  examples  exocortex  experience  experiment  explanation  exploratory  exposition  extratricky  extrema  failure  faq  fedja  feynman  finiteness  fourier  gambling  gamblingtask  gamblingtest  games  ganzheitlich_denken  gbooks  gedanken  gelman  generalization  geometry  geschmack  gesund  giants  go  good  gowers  graphs  ground-up  guide  haidt  heuristic  hi-order-bits  high-dimension  history  hn  homogeneity  hsu  icbook  identity  ieee  ignorance  information-theory  init  inner-product  innercritic  insight  instinct  integral  intelligence  intervention  invariance  isotropy  jonathan  kernels  kiv  kunst  language  large-factor  learning  lectures  lens  levers  lifts-projections  limits  linear-algebra  linguistics  links  list  listening  local-global  logarithm  logic  machine-learning  magnitude  mahajan  maler  malerei  manifolds  markov  martingale  math>proofs  math.ac  math.ag  math.ca  math.co  math.ct  math.cv  math.ds  math.fa  math.gn  math.gr  math.mg  math.nt  math.rt  math  mathematics  mathtariat  mc  measure  mental-math  meta:math  metabuch  metameta  methodology  metric-space  michael-nielsen  microservices  mind  mindstorms  mistakes  mit  model-class  models  moments  monotonicity  monte-carlo  mostly-modern  motivation  multi  multiplicative  narrative  netflix  networking  neural-networks  neurons  news  nibble  norms  not  notation  novelty  numbers  numeracy  oly  open-problems  opensource  operational  optics  optimization  orders  orfe  org:bleg  org:edu  orourke  oscillation  overflow  p:whenever  papers  papert  papert_seymour  paradox  pdf  philosophy  physics  pigeonhole-markov  polynomials  popsci  positivity  presentation  probabilistic-method  probability  problem-solving  problem  proofs  psychics  psychologie  psychology  puzzles  q-n-a  qra  quantifiers-sums  quantum-info  quantum  quotes  race  random  rational  reason  reasoning  rec-math  reference  reflection  regularity  relativity  relaxation  retrofit  richter_gerhard  righteous  rigor  rigour  s:***  s:**  s:*  s:null  sampling-bias  sampling  scholar  science  scientificamerican  scitariat  sensemaking  separation  shannon  shift  signs  silent  simulation  skeleton  slides  soft-question  solution  sparsity  spatial  stat-mech  stats  stochastic-processes  stories  strategic  strategy  stream  structure  stupidity  summary  survey  svd-pca  symmetry  synthesis  system-one  system-two  tcs  tcstariat  teaching  techtariat  tensors  the-trenches  things  thinking  thinkingstyle  thurston  tidbits  tier  to  todo  toolkit  tools  top-n  topology  tracing  traffic  tricki  tricks  ungesund  unit  ux  vague  video  virtu  virtualization  visual-understanding  visualisation  visualization  von-neumann  waves  wiki  wisdom  wissenschaft  wordlessness  wormholes  worrydream  writing  ycombinator  yoga  your  you’re  🎓  👳  🖥 

Copy this bookmark:



description:


tags: