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

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

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

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

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

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