Skip to content

Analysis: series #1435

Open
Open
@lowasser

Description

@lowasser

I'm getting back to this and trying to build a good definition for series.

Wikipedia uses the term "series" to refer only to infinite sums, and I buy that. I also claim that there's really no useful notion of series without a corresponding notion of convergence.

So what exactly is the setting in which a series is defined? A commutative monoid with a metric space? We don't necessarily have to be quite so general, but I'd at least like something general enough to encompass real and complex numbers, and maybe even some other handy spaces.

If we were in the habit of using standard topologies instead of metric spaces, we might define it over a topological group? I don't know. Ideas welcome. I could also just start the ungeneralized version, sticking to real numbers, but that'd feel very out of character for this project.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions