Posts tagged with geometry
We relate a category of models A to a category of more realistic objects B which the models approximate. For example polyhedra can approximate smooth shapes in the infinite limit…. In Borsuk’s geometric shape theory, A is the homotopy category of finite polyhedra, and B is the homotopy category of compact metric spaces.
—-Jean-Marc Cordier and Timothy Porter, Shape Theory
(I rearranged their words liberally but the substance is theirs.)
prod( factorial( 1/ 1:10e4) ) to see the volume of Hilbert’s cube → 0.
It was the high zenith of autumn’s colour.
We drove her car out to the countryside, to an orchard. Whatever the opposite of monocropping is, that’s how the owners had arranged things.
The apple trees shared their slopey hillside with unproductive bushes, tall grasses, and ducks in a small pond in the land’s lazy bottom.
Barefoot I felt the trimmed grass with my toes. A mother pulled her daughter away from the milkweeds—teeming with milkweed nymphs—because “They’re dangerous”.
It was only walking along the uneven ground between orchard and forest that I realised that I almost never walk on surfaces that aren’t totally flat, level, hard, and constant.
- sidewalks are completely flat in New York City; if you trip and hurt yourself because of their ill repair you can actually sue the City
- art (not all art but a lot of painting or screen-media) is conceived on a flat surface
- houses are square; efficient industrial production of the straight and right-angle-based construction materials
and work plans
means it would be relatively expensive to build otherwise.
- yards are square
- parks are square
- city blocks are square
- (…except older cities which resemble a CW complex more than a grid)
and in sheaf theory things can be different around different localities.
The cave walls in Chauvet have been locally deformed even to the point that knobs protrude from them—and the 32,000-year-old artist utilised these as well.
Maybe when Robert Ghrist gets his message to the civil engineers, we too will have a bump-tolerant—even bump-loving—future ahead of us.
The spirit of mathematics is not captured by spending 3 hours solving 20 look-alike homework problems. Mathematics is thinking, comparing, analyzing, inventing, and understanding.
The main point is not quantity or speed—the main point is quality of thought.
Reading such stuff the other week-end I noticed (a) a heap of geometrical metaphors and (b) limited geometrical vocabulary.
— isomorphismes (@isomorphisms)
In my opinion functional analysis (as in, precision about mathematical functions—not practical deconstruction) points toward more appropriate geometries than just the
[0,1] of fuzzy logic. If your goal is to escape “either/or” then I don’t think you’ve escaped very much if you just make room for an “in between”.
ℝ→ℝ functions (even continuous ones; even smooth ones!) can wiggle out of definitions you might naïvely try to impose on them. The space of functions naturally lends itself to different metrics that are appropriate for different purposes, rather than “one right answer”. And even trying to define a rational means of categorising things requires a lot—like, Terence Tao level—of hard thinking.
I’ll illustrate my point with the arbitrary function ƒ pictured at the top of this post. Suppose that ƒ∈𝒞². So it does make sense to talk about whether ƒ′′≷0.
So “fits the binary” is rarer than “doesn’t fit the binary”. The “borderlands” are bigger than the staked-out lands. And it would be very strange to even think about trying to shoehorn generic 𝒞² functions into
- one type,
- the other,
- or “something in between”.
Beyond “false dichotomy”, ≶ in this space doesn’t even pass the scoff test. I wouldn’t want to call the ƒ I drew a “queer function”, but I wonder if a geometry like this isn’t more what queer theorists want than something as evanescent as “liminal”, something as thin as "boundary".