if we posit two functions ð³(x) and ðŸ(x), defined as:
ð³(x) = 1 / x
ðŸ(x) = -x
then together these two functions represent transformations of the mario vector space. if we define a mario ð to be a unit vector in this space, then we can consequently define the following, canonical brothers:
ð³(ð) = 1 / ð â ð (luigi)
ðŸ(ð) = -ð â ð€ (wario)
ðŸ(ð³(ð)) = ð³(ðŸ(ð)) = -1 / ð â ð€ (waluigi)
together these define a scalar space of finite, rational brothers.
we can apply these transformations to other marios to obtain some canonical variations.
for example, suppose there are some marios with a special property that we'll call "royal". we introduce a new function ð·(x) on the domain of marios that can produce a unique royal mario for any input mario in the domain. let's define the canonical royal mario ð·(ð) to be some princess ð. using the previously defined functions, we can obtain similar results, which i've named according to my interpretation of the royal mario space
ð³(ð) = 1 / ð â ð (pauline)
ðŸ(ð) = -ð â ð (daisy)
ðŸ(ð³(ð)) = -1 / ð â ð (rosalina)
let's find a possible candidate for the function ð·(x). now, this function does not necessarily need to be bijective or its own inverse. let's choose the following definition of ð·(x) and explore its properties:
ð·(x) = ln(x)
this definition gives us the following interesting identity:
ð·(ð³(x)) = ð·(1 / x) = -ð·(x) = ðŸ(ð·(x))
this would mean that ð·(ð) = ðŸ(ð), in other words, daisy is the peach of luigi. this matches the common understanding of the role of daisy in the mario calculus, though it has little grounding in traditional canon.
but we're not here to model canonical marios, we are here to invent new ones.
let's suppose the existence of an imagination function ð°(x) capable of producing imaginary marios. a simple definition of this function would be:
ð°(x) = ð * x
using this definition, we can again explore some identities:
ð°(ð°(x)) = ð * ð * x = -x = ðŸ(x)
ð³(ð°(x)) = 1 / (ð * x) = ð / (ð * ð * x) = - ð / x = ðŸ(ð³(ð°(x)))
these establish two important properties of marios in this particular imaginary space:
first, the imaginary mario ð°(x) is in some sense halfway between the base mario x and the wario ðŸ(x) of that mario, but in a rotational kind of halfway and not a scalar kind of halfway
second, the luigi ð³(x) of an imaginary mario is its own wario ðŸ(x). this suggests that imaginary marios only need to have one corresponding brother, and that brother has both luigi-like and waluigi-like properties
now, what kind of imaginary mario could exist that is both 1) distinct from both mario and wario, but in a way where reapplying the process that obtained that mario gives you wario, and 2) has only one brother-mario with properties of both a luigi and a waluigi?
i posit: sonic the hedgehog