Oh! My bad! I completely missed that the functions were continuous (it isn't required for π to be a metric)
OmnipotentEntity
Careful β οΈ there is not guaranteed to be an element such that |π(x) - π(x)| is maximized. Consider π (x) = x if x < 3, 0 otherwise. Let π (x) = 0, and let the domain be [0, 4]. Clearly, the sup(|π (x) - π (x)| : x β [0, 4]) = 3, but there is no concrete value of x that will return this result. If you wish to demonstrate this in this manner, you will need to introduce an π > 0 and do some pedantic limit work.
Anyway, to prove this is a metric we must prove that it satisfies the 4 laws of metrics.
1. The distance from a point to itself is zero. π (π, π) = 0
This can be accomplished by simply observing that |π (x) - π (x)| = 0 βx β [a,b], so its sup = 0.
2. The distance between any two distinct points is non-negative.
If π β π, then βx β [a,b] such that π (x) β π (x). Thus for this point |π (x) - π (x)| > 0 and the sup > 0.
3. π (π, π) = π (π, π) β(π, π) in our space of functions.
Again, we must simply apply the definition of π observing that βx β [a,b] |π (x) - π (x)| = |π (x) - π (x)|, and the sup of two equal sets is equal.
4. Triangle inequality, for any triple of functions (π, π, π), π (π, π) + π (π, π) β₯ π (π, π)
For any (π, π, π) β βΒ³ it is well known that |π - π| β€ |π - π| + |π - π|, (triangle inequality of absolute values).
Further, for any two functions π, π we have sup({π (x) : x β [a, b]}) + sup({π (x) : x β [a, b]}) β₯ sup({π (x) + π (x) : x β [a, b]})
Letting π (x) = |π (x) - π (x)|, and π (x) = |π (x) - π (x)|, we have the following chain of implications:
π (π, π) + π (π, π) = sup({π (x) : x β [a, b]}) + sup({π (x) : x β [a, b]}) β₯ sup({π (x) + π (x) : x β [a, b]}) β₯ sup({|π (x) - π (x)| : x β [a, b]}) = π (π, π)
Taking the far left and far right side of this chain we have our triangles inequality that we seek.
Because π satisfies all four requirements it is a metric. QED.
QED stands for πΈβ‘π, naturally
What happened to π and π?
but can I say he's wrong? I don't know.
Not a cult. Not a cult. Not a cult. Not a cult.
Anakin brought balance to the force by slaughtering all of the Jedi.
Before, thousands of Jedi, like 4(?) sith.
After, 2 Jedi, 2 sith. Perfectly balanced.
Gmail data gets used in LLM training. I wonder how Gemini 2.5 would auto complete "The code to the nuclear football is"...
Says the guy insinuating context to justify this attack, and accusing the woman attacked of lying, despite the fact that she was fired for not reporting the attack to a manager quickly enough?
At this point, you're just embarrassing yourself. Lemmy is still too small for everyone here not to see through this weak ass bait.
Are you asserting that she is lying about being accosted by a man for entering the women's bathroom?
Because if you aren't, then I would be very interested to hear what "more that happened" could possibly justify his actions.
Johnny Mnemonic
Twilight princess got a HD remaster though.
Bouba > Kiki