Задача стоит следующим образом:
Верно ли, что любые два непересекающиеся конечных множества в

линейно разделимы ядром Лапласа?
Ядро Лапласа имеет вид

и реализуется отображением

, переводящим вектор

в функцию, которую как раз и необходимо найти (

)
На основании полученной функции уже планирую делать вывод о линейной разделимости (или неразделимости). Дело в том что уже нашел это ядро (в этой работе оно правда называется экспоненциальным, но смысла это не меняет) и прочитал, что оно очень даже активно используется в SVM, поэтому в том что оно линейно разделимо сомнений нет...осталось это доказать.
Полноценного курса функционального анализа не было, помогите советом кто знает.