Actions and Flows


What is an action?

Well, they do things. What does that mean? It means something starts out some way and changes. Old states become new ones.

Given a transition map T: a x s -> s, we can rewrite it as a -> (s -> s). This means actions can be seen as maps between states, so we say act: state → state. Because they’re maps, we can compose them. The actions of mix batter and put in oven can be composed into the action mix batter, THEN put in oven.

Important example.

Dots and arrows. The arrows are the actions, carrying dots to new dots. Chaining arrows is the same as composing actions. Much can be represented this way.

To infinity

The setup is currently discrete: each action is basically a sudden jump.

Let’s use the hyperdiscrete idea: hyperfinitely many infinitesimal, discrete things is a continuous object (at least after taking a standard part).

Imagine taking lots of actions, but each one only has a tiny influence, so each successor state is really close to its source state. Then hyperfinitely many of these actions are a flow.

For a visual of how discrete actions are transformed into a flow, think of an equilateral triangle, oriented counterclockwise. The vertices are the dots, and the edges are the actions, carrying one vertex to another. If we perform a walk, then we will see a 3-cycle.

Now go to infinitely many sides while keeping the perimeter fixed. We get a polygon that’s (infinitely close to) a circle, and the walk is now a flow.

Following arrows gives a smooth path, such as going from the top to the bottom of the circle along the left or right half of the perimeter, which is now a circumference.

Most important example of a flow: motion through space.

Discrete and Continuous

This is just another example of the link between discrete and continuous, specifically realizing the continuous as the hyperdiscrete.

Related Posts

Derivative AT a Discontinuity

Just because 2 things are dual, doesn't mean they're just opposites

Boolean Algebra, Arithmetic POV

discontinuous linear functions

Continuous vs Bounded

Minimal Surfaces

November 2, 2023

NTK reparametrization

Kate from Vancouver, please email me

ChatGPT Session: Emotions, Etymology, Hyperfiniteness