Oh! My bad! I completely missed that the functions were continuous (it isn't required for π to be a metric)
OmnipotentEntity
joined 2 years ago
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.
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.
Having played all of the 2d Metroids, Super Metroid still holds up very well, even compared to the newer games. There's less direction than what you might be used to though. Newer entries in the series tend to try to funnel you places. But if you are simply concerned about the gameplay being clunky, don't be.
Super Metroid way ahead of its time, and the controls are extremely responsive and tight. It's one of the reasons it's such a popular speed game. It's just fun to play. While basic controls are serviceable, there are many tricks you find yourself learning about as you play the game, which you just have access to, that give the movement system quite a bit of depth. (For hints, let the attract move run at the beginning of the game.)
view more: next βΊ
Bouba > Kiki