С этими определениями я совсем не знакома. А можно на более понятном языке сформулировать определение ростка функции для гладкий функций.
Оно такое же, как и для любой другой. Аналитической, в частности. С этого тема начиналась.
Функция
- то, что называется плоским добавком, - имеет тождественно нулевой ряд Тейлора в нуле и является примером, как тождественно нулевому формальному ряду могут в классе
соответствовать различные функции. И возникает необходимость вспоминать про плоские добавки именно там, где происходил переход от рассуждений с формальными рядами к рассуждениям с бесконечно дифференцируемыми функциями. Такие результаты есть, но это всё о другом, и определение ростка от этого не изменится.
Именно, функция
не является элементом ростка нулевой функции, т.к. в любой проколотой окрестности они не совпадают.