Definition:Inner Product on Space of Square Summable Mappings