Monotonic function

In mathematics, a monotonic function (or monotone function) is a special type of function. It either always goes up or always goes down as we move along its inputs. This means that if you pick two numbers where one is larger than the other, the function's output will either stay the same or get larger (if it's increasing) or stay the same or get smaller (if it's decreasing). This idea helps mathematicians understand how different values relate to each other.

The idea of monotonicity started in calculus, where people studied how functions change. Later, the idea was used in more general settings in order theory, which looks at how things can be arranged and compared. Monotonic functions are important because they make patterns easier to understand in many areas of math and science.

Monotonic functions are also used in other fields, like voting systems. They help make sure outcomes are fair and consistent. Learning about monotonicity gives us tools to solve real-world problems by studying how things change in a steady way.

In calculus and analysis

A monotonic function is a special kind of function in mathematics. It either always goes up or always goes down, but it never changes direction.

If a function always goes up (or stays the same) as you move along, it is called "monotonically increasing." If it always goes down (or stays the same), it is called "monotonically decreasing." These functions are important because they help us understand how things change in a steady way, without sudden jumps or reversals. They are used in many areas of math, especially when studying how values grow or shrink over time.

In topology

A map between spaces is called monotone if each of its groups, or "fibers," is connected. This means that for each point in the second space, the set of points in the first space that map to it forms one piece. This idea helps mathematicians study the shape and structure of spaces.

Main article: Fibers
Main article: Connected
Main article: Subspace

In functional analysis

In functional analysis on a topological vector space, a special kind of rule called a monotone operator has a special pattern. This pattern makes sure that some measurements between points stay the same or get bigger.

The idea of a monotone set also has a rule, where pairs of points follow this same pattern. When a monotone set is the biggest one that still follows the rule, it is called maximal monotone. This helps mathematicians learn more about how points relate to each other in complicated spaces.

Kachurovskii's theorem connects these ideas to convex functions in Banach spaces.

In order theory

Order theory studies sets where elements can be compared. In these sets, a monotone function keeps the order the same. This means if one element comes before another, the function will make sure its output also comes before the other output.

There is also an antitone function, which flips the order. A constant function, where the output is always the same no matter the input, is both monotone and antitone. These ideas help organize and understand relationships between elements in order theory.

In the context of search algorithms

In search algorithms, a monotonic heuristic function always gives a steady estimate. As you move toward a solution, the guess for how far you are from the goal should only change by the cost of that step or less. This helps certain algorithms, like A*, find the best path every time.

In Boolean functions

In Boolean algebra, a monotonic function is one where if you change an input from 0 to 1, the output can only go from 0 to 1 or stay the same. It will never go from 1 to 0.

Monotonic Boolean functions can be made using only the "and" and "or" operations, not using "not". For example, a function that checks if at least two out of three inputs are true is monotonic because it uses only "and" and "or" operations. These functions are useful in areas like SAT solving, where problems can sometimes be solved faster when all the rules are monotonic.