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