[ntp:questions] Leap second to be introduced in June

David Malone dwmalone at walton.maths.tcd.ie
Thu Jan 22 10:45:55 UTC 2015

William Unruh <unruh at invalid.ca> writes:

>Note UTC differs from TAI by an interger number of seconds, AND that
>integer changes with the leap second. Ie, it cannot be continuous if TAI
>is continuous. 

That assumes that UTC can be represented as a real number with the
standard topology, which doesn't seem to be what TF.460 says. It
describes each second as labelled, which means that you have to
stitch together all possible unit intervals for each second with
some topology, and then you can ask if the path taken by UTC through
this space is continuous.


More information about the questions mailing list