Nagging Math Ques #1: 'PseudoInner Product'by PoomjaiN Tags: algebra, combinatorial, inner product, parametric 

#1
May2511, 12:30 AM

P: 5

Dear Friends & Colleagues,
I have a couple of nagging issues with mathematics I was hoping any one of you would kindly be able to help resolve. Given two vectors, x, y , I wish to define an operation ‘^’ such that x^y = x_1^y_1 + x_2^y_2 + ... . For instance, if x_i designates the number of parameters of a model component of class i, and y_i designates the total number of model components of this class required, then x^y gives me the (Cartesianproduct) dimension of my parametric search space. I referred to this ‘uparrow’ operation as a sort of ‘pseudoinner product’ in my Ph.D. thesis, which involved evolutionary optimisation over a combinatorialparametric search space involving choices of model components and their resultant parametric specifications. I wish to know (i) whether such a ‘pseudoinner product’ had already been defined (if so, what is it called?), (ii) what kind of mathematical object would it be, and whether some kind of algebra can be defined on basis of its mapping? The construct may well extend to even though visàvis my application I obviously had nonnegative integers in mind. Any enlightenment on this issue would be most truly appreciated. Yours sincerely, Poomjai Nacaskul (Ph.D.) 



#2
May2611, 08:49 AM

Emeritus
Sci Advisor
PF Gold
P: 8,990

I haven't seen it defined before. I think the term "pseudoinner product" is sometimes used for functions that are just like inner products except that they don't satisfy [itex]<x,x>=0\Rightarrow x=0[/itex]. I know for sure that Conway uses the term "semiinner product" for these things.
The function you defined isn't linear (or antilinear) in either of the variables, so it's a lot more different from an inner product than the semiinner products I just described. So it should probably be called something else. The term "form" is sometimes used for a function that takes two vectors to a scalar. 



#3
May2611, 09:22 PM

P: 5

Dear Fedrik,
Many, many thanks for your insight. I think "form" is exactly the term I am looking for. Indeed, it is a map from Vf x V2 > F, and if I don't need the generalisation for V1 != V2, then V x V > F is a map from two vector spaces over field F to F. In that sense, I should call it something like "INNEREXPONENTIATION FORM", what do you think? I would be rather surprised if it hadn't been defined, as it seems an obvious object to define (in the research area I was involved in at the time). Kind of ambivalent feeling about this tho: happy because then I'd be the first to do so, sad because there wouldn't be proved results and derived properties to draw from. Once again, thank you kindly for your response, Poomjai 



#4
May2711, 02:46 AM

P: 4,570

Nagging Math Ques #1: 'PseudoInner Product'I'm not sure what you're other systems are comprised of, but if they are linear in some form, what springs out to me is to use the tensor product of matrices to generate a linear system which you can use to find the dimension of your new "combined" system. If your component systems are not linear, then you might have to perform some transformation to make them linear and then apply the same ideas to get the total dimension of your new system. So in short, get a linear representation of component (and if it is not linear, transform it so that you can find the dimension of your system and represent it accordingly), use tensor product and then with your composite system, use that to get your final "dimension" of your composite system. 



#5
Jan1813, 01:46 AM

P: 1

this dude is called Pseudo Inner Product and is of fundamental importance in Eisteins Special Theory of relativity. when inner product of first vector with itself using the pseido inner definition is less than zero, those vectors are called timelike vectors. when greater than zero, its spacelike vectors




#6
Jan1813, 10:42 AM

Sci Advisor
P: 3,172

If the xi and yi are component vectors, your definition is ambiguous since if we have vectors x = A + B = B + A, it isn't clear which of A and B is x1. If the xi and yi are coordinates, then you should clarify whether the operation "x^y" on vectors is invariant when the vectors are expressed in a new coordinate system. 


Register to reply 
Related Discussions  
Product of two pseudodifferential operators  General Math  0  
Nagging Doubts...just won't go away..(song)  Astrophysics  7  
There's a nagging feeling of bad.  Career Guidance  18  
more silly semantics that are nagging me  General Physics  20  
Nagging problems  Chemistry  9 