Monotonic function

In mathematics, a monotonic function (or monotone function) is a special kind of function that either always increases or always decreases 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 in many problems.

The concept of monotonicity first appeared in calculus, where scientists and mathematicians studied how functions change. Later, the idea was expanded to 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 predict and analyze in many areas of math and science.

Monotonic functions also appear in other fields, like voting systems, where they help ensure fair and consistent outcomes. Understanding monotonicity gives us tools to solve real-world problems by studying how things change step by step in a steady way.

In calculus and analysis

A monotonic function is a special kind of function used 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 a single, unbroken part of that space. 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 or mapping called a monotone operator follows a specific pattern. This pattern ensures that certain measurements between points stay the same or increase.

The idea of a monotone set follows a similar rule, where pairs of points also follow this increasing pattern. When a monotone set is the largest possible one that still follows the rule, it is called maximal monotone. This helps mathematicians understand more about how different points relate to each other in complex 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, but not always in a simple way like numbers. 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 complex relationships between elements in order theory.

In the context of search algorithms

In search algorithms, a monotonic heuristic function always gives an estimate that doesn’t jump around too much. For any step you take toward a solution, the guess for how far you are from the goal should be no more than the cost of that step plus the new guess from the next point. This helps certain algorithms, like A*, find the best path every time.

In Boolean functions

In Boolean algebra, a monotonic function is one where increasing any input from 0 to 1 can only cause the output to go from 0 to 1, never the other way around. This means that if you start with a combination of inputs and then change some of them to true, the result can only stay the same or become true—it will never switch from true to false.

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