At 10:20, z could also lie between one of the endpoints and y_1/y_k... and the lemma still works. I can't see a reason why z should only be between one of the original y's.
Interval orders are fascinating,. Here you've got an ordering of intervals with the same endpoints! It seems you could build a poset or lattice using refinement, and head off into multi-valued logic, non-boolean algebra, etc. What happens if the endpoints are [-inf, +inf]? I need to watch the previous video again
Here an mildly interesting idea: given two partitions, their union is a tighter fit than either input. [Oh, he got there.] That prompted some self-reflection. Here's the result: you might be an algebraist if 1. When given two lists of indicators that you might be an algebraist, you instinctively think about how to combine them. 2. When given two lists of indicators that you might be an algebraist, you instinctively think about how to combine them. [Repeat this for all non-negative powers of two, then for all finite sums of distinct non-negative powers of two.]
Which lemma are you talking about? He only mentioned that the upper sum of Q is less than the upper sum of P2, but that’s almost exactly the same as the proof he wrote for the lower sums.
Why do you prove the lemma using induction? My professor proved this by taking the infimum or supremum over a fixed partition. I honestly didn't understand my professor's proof.
At 10:20, z could also lie between one of the endpoints and y_1/y_k... and the lemma still works. I can't see a reason why z should only be between one of the original y's.
thank you very much
Interval orders are fascinating,. Here you've got an ordering of intervals with the same endpoints! It seems you could build a poset or lattice using refinement, and head off into multi-valued logic, non-boolean algebra, etc. What happens if the endpoints are [-inf, +inf]?
I need to watch the previous video again
Here an mildly interesting idea: given two partitions, their union is a tighter fit than either input. [Oh, he got there.]
That prompted some self-reflection. Here's the result: you might be an algebraist if
1. When given two lists of indicators that you might be an algebraist, you instinctively think about how to combine them.
2. When given two lists of indicators that you might be an algebraist, you instinctively think about how to combine them.
[Repeat this for all non-negative powers of two, then for all finite sums of distinct non-negative powers of two.]
Isn't your tumbnail wrong? Q is a refinement of P so L(Q) should be larger equal than L(P) right?
Yeah it's wrong
Que vídeo fascinante! Vendo de Angola 🇦🇴
I hope Michael will elaborate in another video on why the lemma on the common refinement at the end of this video is true
Which lemma are you talking about? He only mentioned that the upper sum of Q is less than the upper sum of P2, but that’s almost exactly the same as the proof he wrote for the lower sums.
Awesome, thank u! 🤙
16:22
Very good, i think a very basc visual aid would conpliment nicely though
Why do you prove the lemma using induction? My professor proved this by taking the infimum or supremum over a fixed partition. I honestly didn't understand my professor's proof.
omg that is great
I am from Kazakhstan
Partition is very largical scale of scala.bytes.
I love real analysis... but I was hoping for something about number theory partitions
Lol, I know but.... you know like his usual style or some more in depth stuff/proofs
First comment