实变函数 shíbiànhánshù real-variable function Definitions Defs Origin Strokes Stroke Words Sentences Sents 实变函数论 shíbiànhánshùlùn real analysis theory of functions of a real variable