Classical theorems from analysis for locally band preserving functions on Dedekind complete -algebras

Abstract

In this paper we explore the concept of locally band preserving functions, introduced by Ercan and Wickstead, on Dedekind complete -algebras. Specifically, we show that all super order differentiable functions are locally band preserving. Furthermore, some foun- dational results from classical analysis are proved in this setting, such as the Intermediate Value Theorem, the Extreme Value Theorem, and the Mean Value Theorem. Moreover, we show that these generalisations can fail for functions that are not locally band pre- serving. With the goal in mind to further develop the theory of complex differentiation in Dedekind complete complex -algebras, a complex version of the Mean Value Theorem is also provided.

0

Turn this paper into a full lesson

ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…