docs.python.org:

If sep is not specified or is None, a different splitting algorithm is applied: runs of consecutive whitespace are regarded as a single separator, and the result will contain no empty strings at the start or end if the string has leading or trailing whitespace. Consequently, splitting an empty string or a string consisting of just whitespace with a None separator returns .

«Если sep (разделитель) не указан или равен None, применяется другой алгоритм разбиения: серии последовательных пробелов рассматриваются как один разделитель, и результат не будет содержать пустых строк в начале или конце, если строка имеет начальные или конечные пробелы. Следовательно, разбиение пустой строки или строки, состоящей только из пробелов, с разделителем None возвращает []».

Начиная с Python 3.x, в качестве разделителей также принимаются табуляция (\t) и разрыв строки (\n).

Марк Лутц, «Изучаем Python»: в данном примере число 4 является аргументом format() и указывает на число знаков после запятой. В качестве значения, которое предстоит форматировать, используется частное 1 / 3.0 (то есть 0.(3) — число в периоде).

Марк Лутц, «Изучаем Python»: D.keys() создает т.н. объект представления, который является итерируемым, т.е. генериреут результирующие элементы по одному за раз, а не производят сразу весь результирующий список за раз. Изменение в виде D.pop('a') тем самым отражается в текущем объекте K.