リー微分
数学においてリー微分（リーびぶん、）は、多様体 "M" 上のテンソル場全体の成す多元環上に定義される微分（導分とも）の一種である。ソフス・リーにちなんで名づけられた。"M" 上のリー微分全体の成すベクトル空間は次で定義されるリー括弧積