Preuve de la proximité des fonctions du noyau sous un produit ponctuel

13

Comment puis-je prouver que le produit ponctuel de deux fonctions du noyau est une fonction du noyau?

Gigili
la source

Réponses:

18

Par produit ponctuel, je suppose que vous voulez dire que si sont tous deux des fonctions de noyau valides, alors leur produitk1(X,y),k2(X,y)

kp(X,y)=k1(X,y)k2(X,y)

est également une fonction de noyau valide.

La preuve de cette propriété est assez simple lorsque nous invoquons le théorème de Mercer. Puisque sont des noyaux valides, nous savons (via Mercer) qu'ils doivent admettre une représentation interne du produit. Soit le vecteur caractéristique de et le même pour . a k 1 b k 2k1,k2unek1bk2

k1(X,y)=une(X)Tune(y),une(z)=[une1(z),une2(z),uneM(z)]k2(X,y)=b(X)Tb(y),b(z)=[b1(z),b2(z),bN(z)]

Donc est une fonction qui produit un vecteur dim, et produit un vecteur dim.M b NuneMbN

Ensuite, nous écrivons simplement le produit en termes de et , et effectuons un regroupement.buneb

kp(X,y)=k1(X,y)k2(X,y)=(m=1Munem(X)unem(y))(n=1Nbn(X)bn(y))=m=1Mn=1N[unem(X)bn(X)][unem(y)bn(y)]=m=1Mn=1Ncmn(X)cmn(y)=c(X)Tc(y)

où est un vecteur dimensionnel, st .M N c m n ( z ) = a m ( z ) b n ( z )c(z)MNcmn(z)=unem(z)bn(z)

Maintenant, comme nous pouvons écrire tant que produit interne en utilisant la carte des fonctionnalités , nous savons que est un noyau valide (via le théorème de Mercer). C'est tout ce qu'on peut en dire.c k pkp(X,y)ckp

Mike Hughes
la source
Comment savez-vous que l'espace de Hilbert est de dimension finie? Ne pourrait-il même pas être séparable?
Andrei Kh
D'après votre premier paragraphe, nous savons seulement que kernel l'existence d'une représentation interne du produit. Mais dans votre conclusion, vous utilisez que l'existence d'une représentation interne du produit implique que est un noyau. Pourquoi est-ce valable? kkp
Viktor Glombik
0

Supposons que et sont la matrice du noyau de ces deux noyaux et , respectivement, et ils sont PSD. Nous définissons et voulons prouver que c'est aussi un noyau. Ceci équivaut à prouver que sa matrice de noyau correspondante est PSD.K1K2k1(X,y)k2(X,y)k(X,y)=k1(X,y)k2(X,y)K=K1K2

  1. K3=K1K2 est un PSD (Le produit kronecker de deux PSD est PSD).
  2. K est une sous-matrice principale de , et est donc PSD (La sous-matrice principale de PSD est PSD).K3
ceyao zhang
la source