Theorem 1 constructs a set of universal measurezero using continuous extension;
定理1 主要运用了连续延拓构造了一个泛测度零集;
2
If a gyro is used to measure the rate of rotation around the aircraft roll axis, it will measure a non-zero value as long as the aircraft is rolling, but measurezero if the roll stops.
You know, if you want to measure the potential energy of something in a gravitational field, you have to define the zero somewhere, right, because it's arbitrary.