一個線性的實值函式 ，作用於向量 ，使得 。向量（即，逆變向量或“右矢” ）和一次形式（即，協變向量或“左矢” ）彼此對偶。因此
將一次形式應用於向量 的操作稱為張量縮並。
更多嘗試
韋斯坦因，埃裡克·W. “一次形式。” 來自 —— 資源。 https://mathworld.tw/One-Form.html
，作用於向量 
，使得 
。向量（即，逆變向量或“右矢” 
）和一次形式（即，協變向量或“左矢” 
）彼此對偶。因此
主題
主題
的操作稱為