Skip to content

Series and convergence #1445

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Series and convergence #1445

wants to merge 2 commits into from

Conversation

lowasser
Copy link
Collaborator

No description provided.

@lowasser
Copy link
Collaborator Author

There might need to be additional continuity conditions on the ring operations.

I have to admit I'm leaning more and more towards just naming the backing structure Analysis-Setting.

Comment on lines +28 to +29
A series is an infinite sum taken over the natural numbers. If it has a limit,
it is said to converge, otherwise it is said to diverge.
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please add links and concept invocation(s)

@fredrik-bakke
Copy link
Collaborator

fredrik-bakke commented Jun 16, 2025

There might need to be additional continuity conditions on the ring operations.

I have to admit I'm leaning more and more towards just naming the backing structure Analysis-Setting.

The concept of a "Commutative ring in a complete metric space" seems closely related to the notion of a Banach algebra or some related variant thereof. Perhaps you can use that to come up with a shorter name for the structure you are considering that also doesn't capture the namespace "analysis (setting)", which is rich in structures to consider for different things.

@malarbol malarbol mentioned this pull request Jun 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants